SatZ is a well known
SAT
The SAT ( ) is a standardized test widely used for college admissions in the United States. Since its debut in 1926, its name and scoring have changed several times; originally called the Scholastic Aptitude Test, it was later called the Schol ...
instance solver. It was developed by Prof.
Chu Min Li, a computer science researcher. The Z stands for the last version of SAT solvers.
References
* Chu Min Li and Anbulagan: Heuristics Based on Unit Propagation for Satisfiability Problems. Proceedings of
IJCAI, 366–371, 1997
SAT solvers
{{algorithm-stub