An Extension of SATPLAN for Planning with Constraints.

Marco Baioletti, Stefano Marcugini, Alfredo Milani

Browse the full AIMSA paper archive.