Satisfiability Planning with Constraints on the Number of Actions.

Markus Büttner Jussi Rintanen

Published in: ICAPS (2005)

Keyphrases

computational complexity
small number
constraint satisfaction
satisfiability problem
plan recognition