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 - Computer-assisted proof - Document - PDFSEARCH.IO

First Page	Meta 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

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 proAdd to Reading List