C-SATPlan: a SATPlan-based tool for planning with constraints. AIPS-98 Workshop on Planning as Combinatorial (1998)

by S Marcugini, A Milani
Venue:Proc. AAAI-99