Certified Unsolvability for SAT Planning with Property Directed Reachability.

Salomé Eriksson Malte Helmert

Published in: ICAPS (2020)

Keyphrases

sat solving
classical planning
state space
search algorithm
heuristic search
goal oriented
decision support
satisfiability problem
sat solvers
plan generation
stochastic domains
planning problems
motion planning
decision theoretic
planning systems
blocks world