Back to Results
First PageMeta Content
Automated theorem proving / Model theory / Formal methods / Constraint programming / Resolution / Skolem normal form / Lambda calculus / Satisfiability / Boolean satisfiability problem / Conjunctive normal form


¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”
Add to Reading List

Document Date: 2010-08-07 06:03:33

Open Document

File Size: 49,62 KB

Share Result on Facebook
UPDATE