Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving

There are no files associated with this record.

Title Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
Author Lin, Han; Su, Kaile
Publication Title IJCAI-07
Editor Manuela M. Veloso
Year Published 2007
Peer Reviewed Yes
Published Yes
Publisher URI http://www.ijcai-07.org/
Alternative URI http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-376.pdf
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