Temporal Planning with Clock-Based SMT Encodings.

Jussi Rintanen

Browse the full IJCAI paper archive.