Decomposing Quantified Conjunctive (or Disjunctive) Formulas.

Hubie Chen Víctor Dalmau

Published in: LICS (2012)

Keyphrases

answer sets
mathematical formulas
e learning
closely related
horn clauses
real world
expert systems
expressive power
disjunctive deductive databases