Decomposing Quantified Conjunctive (or Disjunctive) Formulas

2012 27th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2012.31 ◽

2012 ◽

Author(s):

Hubie Chen ◽

Victor Dalmau

Download Full-text