Login / Signup

ITSAT: An Efficient SAT-Based Temporal Planner.

Masood Feyzbakhsh RankoohGholamreza Ghassem-Sani
Published in: J. Artif. Intell. Res. (2015)
Keyphrases
  • temporal planner
  • temporal planning
  • ai planning
  • search algorithm
  • reinforcement learning
  • lower bound
  • linear programming
  • np complete
  • answer set programming
  • plan generation
  • bounded model checking