Conformant planning as a case study of incremental QBF solving.

Uwe Egly Martin Kronegger Florian Lonsing Andreas Pfandler

Published in: Ann. Math. Artif. Intell. (2017)

Keyphrases

conformant planning
finite domain
symbolic model checking
conjunctive normal form
constraint propagation
constraint solving
computationally hard
partial observability