Matches in SemOpenAlex for { <https://semopenalex.org/work/W2768698559> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2768698559 abstract "We prove new lower bounds on the sizes of proofs in the Cutting Plane proof system, using a concept that we call unsatisfiability certificate. This approach is, essentially, equivalent to the well-known feasible interpolation method, but is applicable to CNF formulas that do not seem suitable for interpolation. Specifically, we prove exponential lower bounds for random k-CNFs, where k is the logarithm of the number of variables, and for the Weak Bit Pigeon Hole Principle. Furthermore, we prove a monotone variant of a hypothesis of Feige [12]. We give a superpolynomial lower bound on monotone real circuits that approximately decide the satisfiability of k-CNFs, where k = ω(1). For k ≈ logn, the lower bound is exponential." @default.
- W2768698559 created "2017-12-04" @default.
- W2768698559 creator A5064016105 @default.
- W2768698559 creator A5090813486 @default.
- W2768698559 date "2017-10-01" @default.
- W2768698559 modified "2023-10-18" @default.
- W2768698559 title "Random Formulas, Monotone Circuits, and Interpolation" @default.
- W2768698559 cites W1518031539 @default.
- W2768698559 cites W1992641578 @default.
- W2768698559 cites W2009683816 @default.
- W2768698559 cites W2012476164 @default.
- W2768698559 cites W2025279645 @default.
- W2768698559 cites W2038193643 @default.
- W2768698559 cites W2039982637 @default.
- W2768698559 cites W2044095368 @default.
- W2768698559 cites W2044632231 @default.
- W2768698559 cites W2044859592 @default.
- W2768698559 cites W2061814869 @default.
- W2768698559 cites W2069767473 @default.
- W2768698559 cites W2070486524 @default.
- W2768698559 cites W2072802070 @default.
- W2768698559 cites W2083193613 @default.
- W2768698559 cites W2084384424 @default.
- W2768698559 cites W2105860081 @default.
- W2768698559 cites W2115311171 @default.
- W2768698559 cites W2117749206 @default.
- W2768698559 cites W2126420408 @default.
- W2768698559 cites W2136687801 @default.
- W2768698559 cites W2145243417 @default.
- W2768698559 cites W2490907619 @default.
- W2768698559 doi "https://doi.org/10.1109/focs.2017.20" @default.
- W2768698559 hasPublicationYear "2017" @default.
- W2768698559 type Work @default.
- W2768698559 sameAs 2768698559 @default.
- W2768698559 citedByCount "16" @default.
- W2768698559 countsByYear W27686985592017 @default.
- W2768698559 countsByYear W27686985592018 @default.
- W2768698559 countsByYear W27686985592019 @default.
- W2768698559 countsByYear W27686985592020 @default.
- W2768698559 countsByYear W27686985592021 @default.
- W2768698559 countsByYear W27686985592022 @default.
- W2768698559 countsByYear W27686985592023 @default.
- W2768698559 crossrefType "proceedings-article" @default.
- W2768698559 hasAuthorship W2768698559A5064016105 @default.
- W2768698559 hasAuthorship W2768698559A5090813486 @default.
- W2768698559 hasConcept C104114177 @default.
- W2768698559 hasConcept C11413529 @default.
- W2768698559 hasConcept C119599485 @default.
- W2768698559 hasConcept C127413603 @default.
- W2768698559 hasConcept C134146338 @default.
- W2768698559 hasConcept C137800194 @default.
- W2768698559 hasConcept C154945302 @default.
- W2768698559 hasConcept C2524010 @default.
- W2768698559 hasConcept C2834757 @default.
- W2768698559 hasConcept C33923547 @default.
- W2768698559 hasConcept C41008148 @default.
- W2768698559 hasConceptScore W2768698559C104114177 @default.
- W2768698559 hasConceptScore W2768698559C11413529 @default.
- W2768698559 hasConceptScore W2768698559C119599485 @default.
- W2768698559 hasConceptScore W2768698559C127413603 @default.
- W2768698559 hasConceptScore W2768698559C134146338 @default.
- W2768698559 hasConceptScore W2768698559C137800194 @default.
- W2768698559 hasConceptScore W2768698559C154945302 @default.
- W2768698559 hasConceptScore W2768698559C2524010 @default.
- W2768698559 hasConceptScore W2768698559C2834757 @default.
- W2768698559 hasConceptScore W2768698559C33923547 @default.
- W2768698559 hasConceptScore W2768698559C41008148 @default.
- W2768698559 hasLocation W27686985591 @default.
- W2768698559 hasOpenAccess W2768698559 @default.
- W2768698559 hasPrimaryLocation W27686985591 @default.
- W2768698559 hasRelatedWork W1509548334 @default.
- W2768698559 hasRelatedWork W2014559452 @default.
- W2768698559 hasRelatedWork W2033753050 @default.
- W2768698559 hasRelatedWork W2052627577 @default.
- W2768698559 hasRelatedWork W2077946742 @default.
- W2768698559 hasRelatedWork W2087855825 @default.
- W2768698559 hasRelatedWork W2102130602 @default.
- W2768698559 hasRelatedWork W2111458646 @default.
- W2768698559 hasRelatedWork W2148020981 @default.
- W2768698559 hasRelatedWork W3101041205 @default.
- W2768698559 isParatext "false" @default.
- W2768698559 isRetracted "false" @default.
- W2768698559 magId "2768698559" @default.
- W2768698559 workType "article" @default.