Partial Weighted MaxSAT for Optimal Planning.

Nathan Robinson Charles Gretton Duc Nghia Pham Abdul Sattar

Published in: PRICAI (2010)

Keyphrases

optimal planning
heuristic search
state space search
domain independent
planning problems
optimal plans
upper bound
admissible heuristics
planning domains
probability distribution
state space
test collection
sat solvers