Sign in

Conformant planning as a case study of incremental QBF solving.

Uwe EglyMartin KroneggerFlorian LonsingAndreas 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