An Automata-Based Constraint Programming Framework for Optimal Classical Planning.

Damien Van Meerbeeck, Arnaud Lequen, Gilles Pesant, Jendrik Seipp

Browse the full CP paper archive.