SAT-solving An old AI technique becomes very popular in modern A.I.
Automated reasoning and theorem proving
SAT-solving Introduction: logic in AI SAT-solving techniques: Unit-propagationLocal-search.
