Discretization of Temporal Models with Application to Planning with SMT.

Jussi Rintanen

Browse the full AAAI paper archive.