Mostra el registre d'ítem simple
A new upper bound for 3-SAT
dc.contributor.author | Díaz Cort, Josep |
dc.contributor.author | Lefteris, Kirousis |
dc.contributor.author | Mitsche, Dieter |
dc.contributor.author | Perez-Gimenez, Xavier |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2012-02-01T19:28:44Z |
dc.date.available | 2012-02-01T19:28:44Z |
dc.date.created | 2008 |
dc.date.issued | 2008 |
dc.identifier.citation | Díaz, J. [et al.]. A new upper bound for 3-SAT. A: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science". Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, p. 163-174. |
dc.identifier.isbn | 978-3-939897-08-8 |
dc.identifier.uri | http://hdl.handle.net/2117/14924 |
dc.description.abstract | We show that a randomly chosen 3-CNF formula over n variables with clauses-tovariables ratio at least 4.4898 is asymptotically almost surely unsatisfiable. The previous best such bound, due to Dubois in 1999, was 4.506. The first such bound, independently discovered by many groups of researchers since 1983, was 5.19. Several decreasing values between 5.19 and 4.506 were published in the years between. The probabilistic techniques we use for the proof are, we believe, of independent interest. |
dc.format.extent | 12 p. |
dc.language.iso | eng |
dc.publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.title | A new upper bound for 3-SAT |
dc.type | Conference report |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.4230/LIPIcs.FSTTCS.2008.1750 |
dc.rights.access | Open Access |
local.identifier.drac | 2325931 |
dc.description.version | Postprint (published version) |
local.citation.author | Díaz, J.; Lefteris, K.; Mitsche, D.; Perez-Gimenez, X. |
local.citation.contributor | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science |
local.citation.publicationName | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science |
local.citation.startingPage | 163 |
local.citation.endingPage | 174 |