An Extension of SATPLAN for Planning with Constraints.

Marco Baioletti Stefano Marcugini Alfredo Milani

Published in: AIMSA (1998)

Keyphrases

mutual exclusion
planning domains
planning problems
temporal planning
optimal plans
classical planning
long distance
domain independent
optimal planning
ai planning
control knowledge
orders of magnitude
state space
constraint programming
heuristic search
constraint satisfaction
model checking
lower bound