No One SATPlan Encoding To Rule Them All.

Tomás Balyo Roman Barták

Published in: SOCS (2015)

Keyphrases

mutual exclusion
planning domains
long distance
optimal plans
planning problems
databases
search strategies
classical planning
temporal planning