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.
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Full Record

Griffith University copyright notice