Theory and Practice of SMT Solving

A deep dive into how SMT solvers work. Select an edition: