Optimal SAT-based Planning with Macro-actions and Learned Horizons
Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro
(2010)
Optimal SAT-based Planning with Macro-actions and Learned Horizons.
In: The 28th Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG), 1st - 3rd December 2010, Brescia, Italy.