Login / Signup

A linear programming and rounding approach to max 2-sat.

Joseph CheriyanWilliam H. CunninghamLevent TunçelYaoguang Wang
Published in: Cliques, Coloring, and Satisfiability (1993)
Keyphrases