Encoding Reachability with Quantification

Michael Cashmore, Maria Fox, Enrico Giunchiglia

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original languageEnglish
Title of host publicationProceedings of the Vienna Summer of Logic 2014
Subtitle of host publication1st Workshop on Quantification (QUANTIFY 2014)
Publication statusPublished - 2014

Keywords

  • QBF
  • Planning
  • Quantified Boolean Formula
  • Reachability

Cite this