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

Han Lin, Kaile Su, Chu Min Li

Browse the full AAAI paper archive.