Knowledge Compilation Using Interval Automata and Applications to Planning.

Alexandre Niveau, Hlne Fargier, Cdric Pralet, Grard Verfaillie

Browse the full ECAI paper archive.