ITSAT: An Efficient SAT-Based Temporal Planner

DOI10.1613/jair.4697zbMath1336.68239OpenAlexW1007963672MaRDI QIDQ2941742

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani

Publication date: 25 August 2015

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.4697

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Decidability and complexity of action-based temporal planning over dense time ⋮ Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I

This page was built for publication: ITSAT: An Efficient SAT-Based Temporal Planner