Integrating Dependency Schemes in Search-Based QBF Solvers.

Florian Lonsing Armin Biere

Published in: SAT (2010)

Keyphrases

search algorithm
search strategies
search queries
efficient search
objective function
search efficiency
search space
search methods
search problems
information seeking
solution space
search strategy
genetic algorithm
evolutionary algorithm
relational databases
expert systems
case study