Cristina Bazgan Wenceslas Fernandez de la Vega A Polynomial Time Approximation Scheme for Dense MIN 2SAT. 91-99 http://link.springer.de/link/service/series/0558/bibs/1684/16840091.htm 1999 conf/fct/1999 FCT db/conf/fct/fct99.html#BazganV99