Coprocessor——独立的 SAT 预处理器
人工智能
2011-09-01 v1
摘要
本文提出了一种独立的 SAT 预处理器，能够执行大多数已知的预处理技术。对 SAT 中的公式进行预处理对性能至关重要，因为可以消除冗余。该预处理器是 SAT 求解器 riss 的一部分，称为 Coprocessor。不仅 riss，MiniSat 2.2 也从中受益，因为 MiniSat 的 SatELite 预处理器未实现最新技术。通过使用更先进的技术，Coprocessor 能够进一步减少公式中的冗余，并提高整体求解性能。
引用
@article{arxiv.1108.6208,
title = {Coprocessor - a Standalone SAT Preprocessor},
author = {Norbert Manthey},
journal= {arXiv preprint arXiv:1108.6208},
year = {2011}
}
备注
system description, short paper, WLP 2011