SAT-planning