Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.

Han Lin Kaile Su Chu Min Li

Published in: AAAI (2008)

Keyphrases

lower bound
learning algorithm
objective function
upper bound
sat solving
reinforcement learning
pattern languages