SatELite公司

注意！自从引入微型卫星2,SatELite公司因为工具已经过时了。

SatELite公司是一个CNF最小化程序，旨在用作SAT解算器的预处理器。它是旨在以足够快的速度压缩CNF，避免成为瓶颈，尤其是旨在提高SAT由网表转换产生的编码（组合布尔电路）。

与超小卫星作为后端-“GTI”组件-赛特GTI在2005年SAT竞赛中赢得了所有三个行业类别。单机版超小卫星在同一类别中排名第二。

正在运行SatELite。。。

    SatELite_v1.0_ linux - 静态链接的Linux二进制文件。

    卫星网站_v1.0_macOS - Mac OS二进制文件（感谢Carsten Sinz）。

    卫星网站_手册.txt - 关于如何使用的几点注意事项SatELite公司.

    sat2005_提交.zip - 的源代码闪长闪长岩和MiniSat（2005年SAT竞赛提交的版本，不太整洁）

了解SatELite。。。

    卫星.pdf - “通过变量和子句消除在SAT中进行有效的预处理”，Niklas Een和Armin Biere，发表在2005年SAT会议记录中。本文描述并评估了SatELite公司预处理技术。

    SatELite纸张数据 - 在这里，您可以找到本文中提供的所有基准测试和单个bencmark结果，以及使用的确切二进制文件（如果您想在系统上重现实验）。

    SatELite_demo.zip网站 - Linux和Cygwin二进制文件，提供了SatELite公司跑步（非常酷！试试看！）

    SatELite_slides.sxi网站_幻灯片.sxi - 2005年SAT演讲的幻灯片，采用OpenOffice格式。

    SatELite幻灯片.pdf - 同上，PDF格式。

正在运行SatELite。。。
	SatELite_v1.0_ linux	-	静态链接的Linux二进制文件。
	卫星网站_v1.0_macOS	-	Mac OS二进制文件（感谢Carsten Sinz）。
	卫星网站_手册.txt	-	关于如何使用的几点注意事项SatELite公司.
	sat2005_提交.zip	-	的源代码闪长闪长岩和MiniSat（2005年SAT竞赛提交的版本，不太整洁）
了解SatELite。。。
	卫星.pdf	-	“通过变量和子句消除在SAT中进行有效的预处理”，Niklas Een和Armin Biere，发表在2005年SAT会议记录中。本文描述并评估了SatELite公司预处理技术。
	SatELite纸张数据	-	在这里，您可以找到本文中提供的所有基准测试和单个bencmark结果，以及使用的确切二进制文件（如果您想在系统上重现实验）。
	SatELite_demo.zip网站	-	Linux和Cygwin二进制文件，提供了SatELite公司跑步（非常酷！试试看！）
	SatELite_slides.sxi网站_幻灯片.sxi	-	2005年SAT演讲的幻灯片，采用OpenOffice格式。
	SatELite幻灯片.pdf	-	同上，PDF格式。