Decomposing Quantified Conjunctive (or Disjunctive) Formulas.

Hubie Chen Víctor Dalmau

Published in: SIAM J. Comput. (2016)

Keyphrases

closely related
mathematical formulas
relational databases
inductive logic programming systems
database
real time
real world
data mining
image sequences
horn clauses