A Model-Constructing Satisfiability Calculus

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-35873-9_1 ◽

2013 ◽

pp. 1-12 ◽

Cited By ~ 33

Author(s):

Leonardo de Moura ◽

Dejan Jovanović

Download Full-text