Satz (SAT solver) explained

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

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Satz (SAT solver)".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.