Decomposing Quantified Conjunctive (or Disjunctive) Formulas

TitleDecomposing Quantified Conjunctive (or Disjunctive) Formulas
Publication TypeJournal Article
Year of Publication2016
AuthorsChen, H, Dalmau, V
JournalSIAM J. Comput.
Volume45
Pagination2066-2086