Unit propagation

#	Item
61	PDF Document Add to Reading List Source URL: www2.parc.com Language: English - Date: 2003-04-29 20:41:47 Automated theorem proving Boolean algebra Logic in computer science Rules of inference Implicant Horn clause Unit propagation Resolution Logic programming Logic Mathematical logic Mathematics
62	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