SAT/SMT by Example: what people say

"Dennis Yurichev's "SAT/SMT by Example" is an impressive monograph. It provides an extensive and diverse collection of problems that can be encoded as SAT or SMT problems, and discusses their encodings in detail. Its wealth of SMT examples in particular has made it popular among researchers and practitioners interested in leveraging the power of SMT solvers."

( Cesare Tinelli, one of CVC4 authors )

Also...

The PDF, as usual...


→ [list of blog posts]

Please drop me email about any bug(s) and suggestion(s): dennis(@)yurichev.com.