Reformulating Constraint Models for Classical Planning.

Roman Bartk, Daniel Toropila

Browse the full FlAIRS paper archive.