Login / Signup
New Encoding Methods for SAT-Based Temporal Planning.
Masood Feyzbakhsh Rankooh
Gholamreza Ghassem-Sani
Published in:
ICAPS (2013)
Keyphrases
</>
computational complexity
np complete
qualitative and quantitative