TY  - RPRT
TI  - A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications
AU  - R. Crowston
AU  - G. Gutin
AU  - M. Jones
AU  - A. Yeo
PY  - 2011
DO  - 10.1007/978-3-642-17493-3_10
UR  - https://arxiv.org/abs/1004.0526
ID  - 1004.0526
ER  -