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