清洁 swMATH ID: 9571 软件作者： 描述： 这些是SAT解算器清理的来源。这是一个尝试，以产生一个干净的版本的玲玲，其中“干净”的意思是易于阅读，理解和适应。它并没有像Lingeling那样追求尽可能高效的目标，尤其是在内存使用方面。 主页： http://fmv.jku.at/清洁/ 相关软件： CPA检查器;编号SMV3;不明飞行物;数学SAT5;数学SAT 引用于： 1文件 4位作者引用 1 亚历山德罗·西马蒂 1 阿尔贝托·格里乔 1 Bastiaan Joost，Schaafsma 1 罗伯托·塞巴斯蒂亚尼 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文