Introduction
In recent years, we’ve seen substantial progress in
propositional reasoning and search methods.
Boolean satisfiability testing:
1990: 100 variables / 200 clauses (constraints)
1998: 10,000 - 100,000 vars / 10^6 clauses
e.g. in planning, software / circuit testing,
machine learning, and protein folding