Login / Signup

Quantifier structure in search based procedures for QBFs.

Enrico GiunchigliaMassimo NarizzanoArmando Tacchella
Published in: DATE (2006)
Keyphrases
  • search algorithm
  • search strategy
  • search space
  • search tools
  • search methods
  • search strategies
  • search efficiency
  • web search
  • description logics
  • orders of magnitude
  • search queries
  • search procedures