Login / Signup

Quantifier Structure in Search-Based Procedures for QBFs.

Enrico GiunchigliaMassimo NarizzanoArmando Tacchella
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2007)
Keyphrases
  • search algorithm
  • search space
  • search strategy
  • indexing structure
  • search strategies
  • search efficiency
  • state space
  • user queries
  • hierarchical structure
  • search tree