Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Model theory / Philosophy of mathematics / Automated theorem proving / Satisfiability Modulo Theories / First-order logic / Satisfiability / Logic / Theoretical computer science / Mathematics / Mathematical logic


Document Date: 2012-03-19 21:28:41

Open Document

File Size: 1,73 MB

Share Result on Facebook

Company

Ge / /

Person

Cesare Tinelli Solving Quantified / Clark Barrett / /

SocialTag