Conditional Lower Bounds for Failed Literals and Related Techniques.

Matti Järvisalo Janne H. Korhonen

Published in: SAT (2014)

Keyphrases

lower bound
upper bound
objective function
worst case
lower bounding
genetic algorithm
learning algorithm
e learning
maximum likelihood
closely related
vc dimension
lower and upper bounds