AAAI'07 Tutorial on SAT algorithms and applications

Satisfiability Testing: Algorithms and Applications

Tutorial at the AAAI'07 conference

July 22, 2007. Vancouver, British Columbia.

The following is a streamlined version with many fixes and including slides from the earlier tutorial at IJCAI'07. The following is the version presented in the conference (with some problems not fixed.)