Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Han Lin' in GoogleThis author has not been identified. Look up 'Kaile Su' in GoogleThis author has not been identified. Look up 'Chu Min Li' in Google

runs on WebDSL