Partially grounded planning as quantified boolean formula

Michael Cashmore, Maria Fox

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

1 Citation (Scopus)
Original languageEnglish
Title of host publicationProceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'12)
Publication statusPublished - 25 Jun 2012


  • planning
  • quantified boolean formula
  • translating bounded propositional reachability problems

Cite this