Title | SAT/SMT by Example |
---|---|
Publisher | Self-publishing |
Authors | Dennis Yurichev |
Topics | Computer Science, |
Total Pages | 585 |
File Size | 6.1 MB |
Format |
SAT/SMT solvers can be viewed as solvers of huge systems of equations. The difference is that SMT solvers takes systems in arbitrary format, while SAT solvers are limited to boolean equations in CNF 1...