Automated Reasoning Systems For first order Predicate Logic.
A Compressed Breadth-First Search for Satisfiability DoRon B. Motter and Igor L. Markov University of Michigan, Ann Arbor.
For Monday
Extra. 1Introduction 2Theoretical background Biochemistry/molecular biology 3Theoretical background computer science 4History of the field 5Splicing systems.
Automated Reasoning Systems
For Friday No new reading Logic and Resolution Homework.
For Wednesday Finish reading chapter 10 – can skip chapter 8 No written homework.