Automated reasoning and theorem proving
SAT-solving Introduction: logic in AI SAT-solving techniques: Unit-propagationLocal-search.