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

There are no files associated with this record.

Title Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving
Author Lin, Han; Su, Kaile; Li, Chu-Min
Publication Title Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative
Editor Dieter Fox, Carla P. Gomes
Year Published 2008
Publisher AAAI Press
Peer Reviewed Yes
Published Yes
Publisher URI http://www.aaai.org/Conferences/AAAI/aaai08.php
Copyright Statement Copyright 2008 AAAI Press. Use hypertext link for access to conference website.
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice