Satz (SAT solver)

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Addbot (talk | contribs) at 18:44, 9 January 2013 (Bot: Removing Orphan Tag (Nolonger an Orphan) (Report Errors)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

SatZ is a well known SAT 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
Stub icon

This algorithms or data structures-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Satz_(SAT_solver)&oldid=532222259"