Login / Signup

An improved analysis of Goemans and Williamson's LP-relaxation for MAX SAT.

Takao Asano
Published in: Theor. Comput. Sci. (2006)
Keyphrases
  • max sat
  • linear programming
  • search algorithm
  • integer programming