Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers.

Florian Lonsing Armin Biere

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

real world
information technology
multiresolution
real time
neural network
information retrieval
database systems
objective function
first order logic