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

Lin et al. "Within-Problem Learning for Efficient Lower Bound Computation in Max-SAT Solving." AAAI Conference on Artificial Intelligence, 2008.

[Lin et al. "Within-Problem Learning for Efficient Lower Bound Computation in Max-SAT Solving." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/lin2008aaai-within/)

@inproceedings{lin2008aaai-within,
  title     = {{Within-Problem Learning for Efficient Lower Bound Computation in Max-SAT Solving}},
  author    = {Lin, Han and Su, Kaile and Li, Chu Min},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {351-356},
  url       = {https://mlanthology.org/aaai/2008/lin2008aaai-within/}
}