Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani
New Encoding Methods for SAT-Based Temporal Planning
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSMasood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani
New Encoding Methods for SAT-Based Temporal Planning