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

Han Lin Kaile Su Chu Min Li Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. 351-356 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#LinSL08