Thomas Hofmeister An Approximation Algorithm for MAX-2-SAT with Cardinality Constraint. 301-312 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2832&spage=301 2003 conf/esa/2003 ESA db/conf/esa/esa2003.html#Hofmeister03