Satisfiability (03)
Michael L. Littman
January 21st, 1999
CONSISTENCY: RECAP
2-Consistency Is Not Sufficient
2-Consistency Is ``Iterative''
SATISFIABILITY
Types of Logics
Propositional Logic: Syntax
Assignments and Models
Categories of Formulae
Truth-table Algorithm
Applying Search to SAT
Short Cuts
STOCHASTIC SEARCH
Systematic vs. Stochastic
GSAT Algorithm
Randomly Generated
k
-CNF
Counting Satisfiable Sentences
Phase Transition
GSAT
WALKSAT
RELATION TO OTHER PROBLEMS
Graph Coloring
SAT and CSP
Next:
CONSISTENCY: RECAP
