直观描述

对于一个确定的逻辑电路，是否存在一种输入使得输出为真。

外部链接

SAT Solvers:

Chaff

HyperSAT

Spear

The MiniSAT Solver

UBCSAT

Conferences/Publications:

SAT 2007: Tenth International Conference on Theory and Applications of Satisfiability Testing

Journal on Satisfiability, Boolean Modeling and Computation

Survey Propagation

Benchmarks:

Forced Satisfiable SAT Benchmarks

IBM Formal Verification SAT Benchmarks

SATLIB

Software Verification Benchmarks

SAT solving in general:

Sat4j

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。