Planning and SAT
Jussi Rintanen · Frontiers in artificial intelligence and applications · 2009
The planning problem in Artificial Intelligence was the first application of SAT to reasoning about transition systems and a direct precursor to the use of SAT in a number of other applications, including bounded model-checking in computer-aided verification.