Off the Trail: Re-examining the CDCL Algorithm.

Alexandra Goultiaeva Fahiem Bacchus

Published in: SAT (2012)

Keyphrases

learning algorithm
computational complexity
dynamic programming
simulated annealing
optimization algorithm
randomly generated
objective function
np hard