First Page | Document Content | |
---|---|---|
Date: 2010-08-07 06:03:33Automated 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 ListSource URL: resources.mpi-inf.mpg.deDownload Document from Source WebsiteFile Size: 49,62 KBShare Document on Facebook |