Satisfiability Modulo Theories: Introduction and Applications.

Saved in:

Bibliographic Details
Title:	Satisfiability Modulo Theories: Introduction and Applications.
Authors:	De Moura, Leonardo, Bjorner, Nikolaj
Source:	Communications of the ACM; September 2011, Vol. 54 Issue 9, p69-77, 9p
Database:	Applied Science & Technology Source

Description
ISSN:	00010782
DOI:	10.1145/1995376.1995394