Satz (SAT solver)

From Wikipedia, the free encyclopedia

SatZ is a well known SAT instance solver. It was developed by Chu Min Li, a computer science researcher. The Z stands for the last version of SAT solvers.

[edit] References

  • Chu Min Li and Anbulagan: Heuristics Based on Unit Propagation for Satisfiability Problems. Proceedings of IJCAI, 366-371, 1997
Comp Sci logo This computer science-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../s/a/t/Satz_%28SAT_solver%29_7412.html"