∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction.

Guillem Francs, Hector Geffner

Browse the full IJCAI paper archive.