Back to Results
First PageMeta Content



Computer assisted proof of optimal approximability results Uri Zwick ∗ 3-SAT and a 21 +  ratio for MAX 3-CSP are both NP-hard tasks. In [KZ97] and [Zwi98] it was shown that the validity We obtain computer assisted pro
Add to Reading List

Document Date: 2001-10-11 06:26:21


Open Document

File Size: 118,72 KB

Share Result on Facebook
UPDATE