SatZ es un conocido solucionador de instancias SAT . Fue desarrollado por el Prof. Chu Min Li , un investigador de ciencias de la computación. La Z representa la última versión de los solucionadores SAT.
Este artículo relacionado con algoritmos o estructuras de datos es un trozo . Puedes ayudar a Wikipedia expandiéndola .