Paperback
Add to list Added to list Decision Procedures: An Algorithmic Point of View
Daniel Kroening,Ofer Strichman
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. The authors introduce the basic terminology of satisfiability modulo theories and then, in…
Available to order, ships in 7-14 daysAvailable to order