Login / Signup
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
Jia Hui (Jimmy) Liang
Vijay Ganesh
Ed Zulkoski
Atulan Zaman
Krzysztof Czarnecki
Published in:
CoRR (2015)
Keyphrases
</>
genetic algorithm
neural network
metaheuristic
conflict resolution
search algorithm
data driven
heuristic search
data mining
search engine
co occurrence
active learning
retrieval systems
social networks
document retrieval
branch and bound
search strategies
variable ordering