Back to Results
First PageMeta Content
Automated theorem proving / Constraint programming / Boolean algebra / Rules of inference / Logic programming / Boolean satisfiability problem / Directed acyclic graph / Resolution / Clause / Theoretical computer science / Mathematics / Mathematical logic


University of Potsdam Faculty of Computer Science
Add to Reading List

Document Date: 2006-05-02 04:55:54

Open Document

File Size: 306,16 KB

Share Result on Facebook
UPDATE