Simple Numeric Planning with Two Variables Is Decidable.

Hayyan Helal, Gerhard Lakemeyer

Browse the full ECAI paper archive.