Conformant Planning as a Case Study of Incremental QBF Solving.

Uwe Egly Martin Kronegger Florian Lonsing Andreas Pfandler

Published in: AISC (2014)

Keyphrases

conformant planning
finite domain
symbolic model checking
belief space
forward search
constraint programming
constraint propagation
search space
computationally hard
constraint satisfaction problems
orders of magnitude
first order logic
initial state
conjunctive normal form