Login / Signup
Quantifier Structure in Search-Based Procedures for QBFs.
Enrico Giunchiglia
Massimo Narizzano
Armando 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