通过At-Least-One Recently Used子句管理策略改进abcdSAT
计算机科学中的逻辑
2016-05-06 v1 人工智能
摘要
我们通过多种启发式方法进一步改进了2015版abcdSAT，例如at-least-one recently used策略、学习子句数据库近似约简等。基于SAT Competition 2016不同赛道的要求，我们开发了三个版本的abcdSAT：drup、inc和lim，它们分别参加了主（agile）、增量库和无限制赛道的竞赛。
引用
@article{arxiv.1605.01622,
title = {Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy},
author = {Jingchao Chen},
journal= {arXiv preprint arXiv:1605.01622},
year = {2016}
}
备注
2 pages