Exploiting macro-actions and predicting plan length in planning as satisfiability
Alfonso Gerevini, Alessandro Saetti, Mauro Vallati · AI Communications · 2015
The use of automatically learned knowledge for a planning domain can significantly improve the performance of a generic planner when solving a problem in this domain. In this work, we focus on the well-known SAT-based approach to planning and investi