History of MaxSATByRandomizedRounding

ClassS04CS141 | recent changes | Preferences


Revision 2 . . January 24, 2004 3:02 pm by NealYoung
Revision 1 . . January 23, 2004 3:47 pm by NealYoung
  

Difference (from prior major revision) (no other diffs)

Removed: 2,6d1
[\
M.X. Goemans and D.P. Williamson. New 3 4 -approximation algorithms for MAX SAT. SIAM Journal of Discrete Mathematics, 7, 1994, pp. 656-666]

Max k-sat (1-1/2k)-approximation algorithm





Added: 12a8,9

Max k-sat (1-1/2k)-approximation algorithm





Removed: 29d25


Removed: 44d39


Changed: 78c73

3/4-approximation algorithm:



3/4-approximation algorithm for MAX-SAT:




Changed: 93,94c88,92




References:
* [\
M.X. Goemans and D.P. Williamson. New 3 4 -approximation algorithms for MAX SAT. SIAM Journal of Discrete Mathematics, 7, 1994, pp. 656-666]

* Chapter 16 of Approximation Algorithms by Vazirani

ClassS04CS141 | recent changes | Preferences
Search: