Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031364557> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2031364557 abstract "We consider random 3CNF formulas with n variables and m clauses. It is well known that when m > cn (for a sufficiently large constant c), most formulas are not satisfiable. However, it is not known whether such formulas are likely to have polynomial size witnesses that certify that they are not satisfiable. A value of m sime n <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3/2</sup> was the forefront of our knowledge in this respect. When m > cn <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3/2 </sup> , such witnesses are known to exist, based on spectral techniques. When m < n <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3/2-epsi</sup> , it is known that resolution (which is a common approach for refutation) cannot produce witnesses of size smaller than 2 <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>nepsiv</sup> . Likewise, it is known that certain variants of the spectral techniques do not work in this range. In the current paper we show that when m > cn <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>7/5</sup> , almost all 3CNF formulas have polynomial size witnesses for non-satisfiability. We also show that such a witness can be found in time 2(O(n0.2 log n)), whenever it exists. Our approach is based on an extension of the known spectral techniques, and involves analyzing a certain fractional packing problem for random 3-uniform hypergraphs" @default.
- W2031364557 created "2016-06-24" @default.
- W2031364557 creator A5013190102 @default.
- W2031364557 creator A5030038102 @default.
- W2031364557 creator A5078910984 @default.
- W2031364557 date "2006-01-01" @default.
- W2031364557 modified "2023-09-25" @default.
- W2031364557 title "Witnesses for non-satisfiability of dense random 3CNF formulas" @default.
- W2031364557 cites W1537654681 @default.
- W2031364557 cites W1559492868 @default.
- W2031364557 cites W1571257748 @default.
- W2031364557 cites W1592213313 @default.
- W2031364557 cites W2011639573 @default.
- W2031364557 cites W2050572571 @default.
- W2031364557 cites W2061109699 @default.
- W2031364557 cites W2072802070 @default.
- W2031364557 cites W2084384424 @default.
- W2031364557 cites W2088164510 @default.
- W2031364557 cites W2088616860 @default.
- W2031364557 cites W2104183200 @default.
- W2031364557 cites W2108981496 @default.
- W2031364557 cites W2126420408 @default.
- W2031364557 cites W2132240307 @default.
- W2031364557 cites W2155360885 @default.
- W2031364557 cites W2496163386 @default.
- W2031364557 cites W4243880374 @default.
- W2031364557 doi "https://doi.org/10.1109/focs.2006.78" @default.
- W2031364557 hasPublicationYear "2006" @default.
- W2031364557 type Work @default.
- W2031364557 sameAs 2031364557 @default.
- W2031364557 citedByCount "38" @default.
- W2031364557 countsByYear W20313645572012 @default.
- W2031364557 countsByYear W20313645572013 @default.
- W2031364557 countsByYear W20313645572014 @default.
- W2031364557 countsByYear W20313645572015 @default.
- W2031364557 countsByYear W20313645572016 @default.
- W2031364557 countsByYear W20313645572017 @default.
- W2031364557 countsByYear W20313645572018 @default.
- W2031364557 countsByYear W20313645572022 @default.
- W2031364557 countsByYear W20313645572023 @default.
- W2031364557 crossrefType "proceedings-article" @default.
- W2031364557 hasAuthorship W2031364557A5013190102 @default.
- W2031364557 hasAuthorship W2031364557A5030038102 @default.
- W2031364557 hasAuthorship W2031364557A5078910984 @default.
- W2031364557 hasConcept C105795698 @default.
- W2031364557 hasConcept C11413529 @default.
- W2031364557 hasConcept C114614502 @default.
- W2031364557 hasConcept C118615104 @default.
- W2031364557 hasConcept C134306372 @default.
- W2031364557 hasConcept C168773769 @default.
- W2031364557 hasConcept C2776291640 @default.
- W2031364557 hasConcept C33923547 @default.
- W2031364557 hasConcept C41008148 @default.
- W2031364557 hasConcept C90119067 @default.
- W2031364557 hasConceptScore W2031364557C105795698 @default.
- W2031364557 hasConceptScore W2031364557C11413529 @default.
- W2031364557 hasConceptScore W2031364557C114614502 @default.
- W2031364557 hasConceptScore W2031364557C118615104 @default.
- W2031364557 hasConceptScore W2031364557C134306372 @default.
- W2031364557 hasConceptScore W2031364557C168773769 @default.
- W2031364557 hasConceptScore W2031364557C2776291640 @default.
- W2031364557 hasConceptScore W2031364557C33923547 @default.
- W2031364557 hasConceptScore W2031364557C41008148 @default.
- W2031364557 hasConceptScore W2031364557C90119067 @default.
- W2031364557 hasLocation W20313645571 @default.
- W2031364557 hasOpenAccess W2031364557 @default.
- W2031364557 hasPrimaryLocation W20313645571 @default.
- W2031364557 hasRelatedWork W1964907177 @default.
- W2031364557 hasRelatedWork W1978042415 @default.
- W2031364557 hasRelatedWork W1998688823 @default.
- W2031364557 hasRelatedWork W2001919142 @default.
- W2031364557 hasRelatedWork W2024384024 @default.
- W2031364557 hasRelatedWork W2107979732 @default.
- W2031364557 hasRelatedWork W2156788334 @default.
- W2031364557 hasRelatedWork W2212155158 @default.
- W2031364557 hasRelatedWork W2386767533 @default.
- W2031364557 hasRelatedWork W4318773840 @default.
- W2031364557 isParatext "false" @default.
- W2031364557 isRetracted "false" @default.
- W2031364557 magId "2031364557" @default.
- W2031364557 workType "article" @default.