Conformant Planning as a Case Study of Incremental QBF Solving.

Uwe Egly Martin Kronegger Florian Lonsing Andreas Pfandler

Published in: CoRR (2014)

Keyphrases

conformant planning
finite domain
symbolic model checking
boolean formula
computationally hard
conjunctive normal form
constraint satisfaction problems
constraint propagation
search algorithm
dynamic programming
constraint programming
temporal logic
initial state
belief space