Back to Results
First PageMeta Content
Logic / Mathematics / Automated theorem proving / Formal languages / Resolution / Literal / Regular expression / Philosophy of mathematics / (SAT / -UNSAT)


Encoding First Order Proofs in SMT Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Eric McGregor and Yuefeng Tang
Add to Reading List

Document Date: 2007-07-10 08:45:22

Open Document

File Size: 67,13 KB

Share Result on Facebook