Sciweavers

8 search results - page 2 / 2
» Strong duality in Lasserre's hierarchy for polynomial optimi...
Sort
View
119
Voted
JSAT
2006
114views more  JSAT 2006»
15 years 1 months ago
Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems
Semidefinite optimization, commonly referred to as semidefinite programming, has been a remarkably active area of research in optimization during the last decade. For combinatoria...
Miguel F. Anjos
138
Voted
APPROX
2011
Springer
242views Algorithms» more  APPROX 2011»
14 years 1 months ago
New Tools for Graph Coloring
How to color 3 colorable graphs with few colors is a problem of longstanding interest. The best polynomial-time algorithm uses n0.2072 colors. There are no indications that colori...
Sanjeev Arora, Rong Ge
131
Voted
STOC
2010
ACM
200views Algorithms» more  STOC 2010»
15 years 10 months ago
Hardness Amplification in Proof Complexity
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
Paul Beame, Trinh Huynh and Toniann Pitassi