Improving Plan Quality in SAT-Based Planning.

Enrico Giunchiglia Marco Maratea

Published in: AI*IA (2009)

Keyphrases

plan quality
heuristic search
search control rules
domain independent planning
plan generation
planning process
search algorithm
classical planning
constraint satisfaction
planning problems
search strategies
answer set programming