Matches in SemOpenAlex for { <https://semopenalex.org/work/W3013031282> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3013031282 startingPage "12" @default.
- W3013031282 abstract "One of the major open problems in proof complexity is to prove lower bounds on AC 0[p]-Frege proof systems. As a step toward this goal Impagliazzo, Mouli and Pitassi in a recent paper suggested to prove lower bounds on the size for Polynomial Calculus over the {± 1} basis. In this paper we show a technique for proving such lower bounds and moreover we also give lower bounds on the size for Sum-of-Squares over the {± 1} basis. We show lower bounds on random Δ-CNF formulas and formulas composed with a gadget. As a byproduct, we establish a separation between Polynomial Calculus and Sum-of-Squares over the {± 1} basis by proving a lower bound on the Pigeonhole Principle." @default.
- W3013031282 created "2020-04-03" @default.
- W3013031282 creator A5064529000 @default.
- W3013031282 date "2020-01-01" @default.
- W3013031282 modified "2023-09-23" @default.
- W3013031282 title "(Semi)Algebraic Proofs over ±1 Variables." @default.
- W3013031282 hasPublicationYear "2020" @default.
- W3013031282 type Work @default.
- W3013031282 sameAs 3013031282 @default.
- W3013031282 citedByCount "0" @default.
- W3013031282 crossrefType "journal-article" @default.
- W3013031282 hasAuthorship W3013031282A5064529000 @default.
- W3013031282 hasConcept C105605280 @default.
- W3013031282 hasConcept C108710211 @default.
- W3013031282 hasConcept C114614502 @default.
- W3013031282 hasConcept C118615104 @default.
- W3013031282 hasConcept C119770614 @default.
- W3013031282 hasConcept C12426560 @default.
- W3013031282 hasConcept C134306372 @default.
- W3013031282 hasConcept C171988527 @default.
- W3013031282 hasConcept C199343813 @default.
- W3013031282 hasConcept C2524010 @default.
- W3013031282 hasConcept C2777686260 @default.
- W3013031282 hasConcept C33923547 @default.
- W3013031282 hasConcept C71924100 @default.
- W3013031282 hasConcept C77553402 @default.
- W3013031282 hasConcept C90119067 @default.
- W3013031282 hasConcept C9376300 @default.
- W3013031282 hasConceptScore W3013031282C105605280 @default.
- W3013031282 hasConceptScore W3013031282C108710211 @default.
- W3013031282 hasConceptScore W3013031282C114614502 @default.
- W3013031282 hasConceptScore W3013031282C118615104 @default.
- W3013031282 hasConceptScore W3013031282C119770614 @default.
- W3013031282 hasConceptScore W3013031282C12426560 @default.
- W3013031282 hasConceptScore W3013031282C134306372 @default.
- W3013031282 hasConceptScore W3013031282C171988527 @default.
- W3013031282 hasConceptScore W3013031282C199343813 @default.
- W3013031282 hasConceptScore W3013031282C2524010 @default.
- W3013031282 hasConceptScore W3013031282C2777686260 @default.
- W3013031282 hasConceptScore W3013031282C33923547 @default.
- W3013031282 hasConceptScore W3013031282C71924100 @default.
- W3013031282 hasConceptScore W3013031282C77553402 @default.
- W3013031282 hasConceptScore W3013031282C90119067 @default.
- W3013031282 hasConceptScore W3013031282C9376300 @default.
- W3013031282 hasOpenAccess W3013031282 @default.
- W3013031282 hasRelatedWork W153015188 @default.
- W3013031282 hasRelatedWork W1998375896 @default.
- W3013031282 hasRelatedWork W2012805418 @default.
- W3013031282 hasRelatedWork W2029390834 @default.
- W3013031282 hasRelatedWork W2056382067 @default.
- W3013031282 hasRelatedWork W2083348414 @default.
- W3013031282 hasRelatedWork W2136687801 @default.
- W3013031282 hasRelatedWork W2164743591 @default.
- W3013031282 hasRelatedWork W2597306538 @default.
- W3013031282 hasRelatedWork W2606812758 @default.
- W3013031282 hasRelatedWork W2730643286 @default.
- W3013031282 hasRelatedWork W2767976260 @default.
- W3013031282 hasRelatedWork W2768698559 @default.
- W3013031282 hasRelatedWork W2884970704 @default.
- W3013031282 hasRelatedWork W2965705192 @default.
- W3013031282 hasRelatedWork W2974433403 @default.
- W3013031282 hasRelatedWork W2999348373 @default.
- W3013031282 hasRelatedWork W3002090153 @default.
- W3013031282 hasRelatedWork W3028950990 @default.
- W3013031282 hasRelatedWork W3113860026 @default.
- W3013031282 hasVolume "27" @default.
- W3013031282 isParatext "false" @default.
- W3013031282 isRetracted "false" @default.
- W3013031282 magId "3013031282" @default.
- W3013031282 workType "article" @default.