Sign in

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

Florian LonsingArmin 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