Login / Signup
Driving CDCL Search.
Carmine Dodaro
Philip Gasteiger
Nicola Leone
Benjamin Musitsch
Francesco Ricca
Konstantin Schekotihin
Published in:
CoRR (2016)
Keyphrases
</>
search space
sat solvers
search algorithm
search strategy
search strategies
evolutionary algorithm
genetic algorithm
computational complexity
state space
search methods