Satz (SAT solver)
Jump to navigation
Jump to search
![]() | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|
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
Categories:
- Articles needing additional references from November 2020
- All articles needing additional references
- Articles lacking in-text citations from November 2020
- All articles lacking in-text citations
- Articles with topics of unclear notability from January 2021
- All articles with topics of unclear notability
- Articles with multiple maintenance issues
- SAT solvers
- All stub articles
- Algorithms and data structures stubs