Back to Results
First PageMeta Content
Theoretical computer science / Logic / Formal methods / Mathematical logic / Model theory / Interpretation / Logic in computer science / Propositional calculus / Boolean satisfiability problem / Automated theorem proving / Propositional variable / IP


Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2
Add to Reading List

Document Date: 2010-09-11 18:26:03


Open Document

File Size: 192,07 KB

Share Result on Facebook
UPDATE