SatELite公司 swMATH ID: 31322 软件作者： Niklas Eén、Niklas Sörensson 描述： SatELite是一个CNF最小化程序，旨在用作SAT解算器的预处理器。它的设计目的是将CNF压缩得足够快，不会成为瓶颈，特别是旨在改进由网表转换（组合布尔电路）产生的SAT编码。以MiniSat作为后端——“GTI”组件——SatELiteGTI在2005年SAT竞赛中赢得了所有三个行业类别的奖项。独立的MiniSat在同一类别中排名第二。***注意！自从推出MiniSat 2以来，SatELite作为工具已经过时。 主页： http://minisat.se/SatELite.html 相关软件： 超小卫星;SATIRE（饱和） 引用于： 1文件 3位作者引用 1 亚历山大·纳德尔 1 瓦迪姆·里夫钦 1 斯特里赫曼（Ofer Strichman） 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文