| Using the Unconstrained Quadratic Program to Model and (2008) | |||||||||||||||||
Abstract | |||||||||||||||||
| Abstract: Satisfiability (SAT) and Max-SAT problems have been the object of considerable research effort over the past few decades. They remain a very important research area today due to their computational challenge and application importance. In this paper we investigate the use of penalty functions to recast SAT problems into the modelling framework offered by the unconstrained quadratic binary program. Computational experience is presented, illustrating how promising this approach is for Max 2-Sat problems. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||