Title of article :
Exact MAX-2SAT solution via lift-and-project closure
Author/Authors :
P. Bonami، نويسنده , , M. Minoux، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 2006
Keywords :
Branch-and-cut , Mixed-integer-programming , Lift-and-project , MAX-2SAT
Journal title :
Operations Research Letters
Journal title :
Operations Research Letters