TY  - CHAP
AU  - Borchers, B.
AU  - Mitchell, J. E.
AU  - Joy, S.
ED  - Du, D.
ED  - Gu, J.
ED  - Pardalos, P. M.
PY  - 1997//
TI  - A Branch-And-Cut Algorithm for MAX-SAT and weighted MAX-SAT
BT  - Satisfiability Problem: Theory and Applications
T3  - DIMACS Series in Discrete Mathematics and Theoretical Computer Science
SP  - 519
EP  - 536
VL  - 35
PB  - AMS
ID  - Borchers97
ER  -