[HR] | Michael Huth and Mark Ryan, Logic in Computer Science. Cambridge University Press, 2004 (2nd edition). |
[N1] | Rewrite rules for CNF conversion and algorithm for definitional CNF. |
[Gen] | M. Genesereth, Introduction Chapter. Computational Logic course notes, 2009. |
[KV] | P. Kolaitis and M. Vardi, Logic as The Calculus of Computer Science. NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science, 2001. |
[Var] | M. Vardi, A brief history of Logic. Course notes, 2003. |
[Vor] | A. Voronkov, CNF and Clausal Form. Logic in Computer Science course notes, 2009. |
[S1] | Introduction |
[S10] | DPLL and CDCL for propositional satisfiability |
Every Monday and Wednesday 3.30pm-4.45pm in 218 MLH
Dr. Christoph Sticksel
Email christoph-sticksel@uiowa.edu
Md Hasib Bin Shakur
Email mdhasibbin-shakur@uiowa.edu