DPLL

#	Item
51	PDF Document Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-10-15 05:36:10 Automated theorem proving Boolean algebra Constraint programming Logic in computer science Propositional calculus DPLL algorithm Boolean satisfiability problem Satisfiability Modulo Theories Unit propagation Theoretical computer science Mathematical logic Mathematics
52	Untitled Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 09:04:11 Propositional calculus Logical syntax Semantics Resolution Inference Horn clause Unit propagation DPLL algorithm Interpretation Logic Automated theorem proving Mathematical logic