Automated planning and scheduling
https://en.wikipedia.org/wiki/Automated_planning_and_scheduling
Satplan
https://en.wikipedia.org/wiki/Satplan
"Satplan (better known as Planning as Satisfiability) is a method for automated planning. It converts the planning problem instance into an instance of the Boolean satisfiability problem (SAT), which is then solved using a method for establishing satisfiability such as the DPLL algorithm or WalkSAT"
Fascinating! 馃
2/3