Han Lin, Kaile Su, Chu Min Li. Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 351-356, AAAI Press, 2008.
@inproceedings{LinSL08,
title = {Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving},
author = {Han Lin and Kaile Su and Chu Min Li},
year = {2008},
researchr = {https://researchr.org/publication/LinSL08},
cites = {0},
citedby = {0},
pages = {351-356},
booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008},
editor = {Dieter Fox and Carla P. Gomes},
publisher = {AAAI Press},
isbn = {978-1-57735-368-3},
}