Matches in SemOpenAlex for { <https://semopenalex.org/work/W1502835965> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1502835965 abstract "Proof systems for polynomial inequalities in 0-1 variables include the well-studied Cutting Planes proof system (CP) and the Lovasz-Schrijver calculi (LS) utilizing linear, respectively, quadratic, inequalities. We introduce generalizations LSd of LS involving polynomial inequalities of degree at most d.Surprisingly, the systems LSd turn out to be very strong. We construct polynomial-size bounded degree LSd proofs of the clique-coloring tautologies (which have no polynomial-size CP proofs), the symmetric knapsack problem (which has no bounded degree Positivstellensatz Calculus (PC) proofs), and Tseitin's tautologies (hard for many known proof systems). Extending our systems with a division rule yields a polynomial simulation of CP with polynomially bounded coefficients, while other extra rules further reduce the proof degrees for the aforementioned examples.Finally, we prove lower bounds on Lovasz-Schrijver ranks, demonstrating, in particular, their rather limited applicability for proof complexity." @default.
- W1502835965 created "2016-06-24" @default.
- W1502835965 creator A5015696190 @default.
- W1502835965 creator A5035077817 @default.
- W1502835965 creator A5058530409 @default.
- W1502835965 date "2001-01-01" @default.
- W1502835965 modified "2023-09-23" @default.
- W1502835965 title "Complexity of semi-algebraic proofs" @default.
- W1502835965 hasPublicationYear "2001" @default.
- W1502835965 type Work @default.
- W1502835965 sameAs 1502835965 @default.
- W1502835965 citedByCount "0" @default.
- W1502835965 crossrefType "journal-article" @default.
- W1502835965 hasAuthorship W1502835965A5015696190 @default.
- W1502835965 hasAuthorship W1502835965A5035077817 @default.
- W1502835965 hasAuthorship W1502835965A5058530409 @default.
- W1502835965 hasConcept C105605280 @default.
- W1502835965 hasConcept C108710211 @default.
- W1502835965 hasConcept C113138325 @default.
- W1502835965 hasConcept C11413529 @default.
- W1502835965 hasConcept C114614502 @default.
- W1502835965 hasConcept C118615104 @default.
- W1502835965 hasConcept C121332964 @default.
- W1502835965 hasConcept C129844170 @default.
- W1502835965 hasConcept C134306372 @default.
- W1502835965 hasConcept C24890656 @default.
- W1502835965 hasConcept C2524010 @default.
- W1502835965 hasConcept C2775997480 @default.
- W1502835965 hasConcept C33923547 @default.
- W1502835965 hasConcept C34388435 @default.
- W1502835965 hasConcept C90119067 @default.
- W1502835965 hasConcept C9376300 @default.
- W1502835965 hasConceptScore W1502835965C105605280 @default.
- W1502835965 hasConceptScore W1502835965C108710211 @default.
- W1502835965 hasConceptScore W1502835965C113138325 @default.
- W1502835965 hasConceptScore W1502835965C11413529 @default.
- W1502835965 hasConceptScore W1502835965C114614502 @default.
- W1502835965 hasConceptScore W1502835965C118615104 @default.
- W1502835965 hasConceptScore W1502835965C121332964 @default.
- W1502835965 hasConceptScore W1502835965C129844170 @default.
- W1502835965 hasConceptScore W1502835965C134306372 @default.
- W1502835965 hasConceptScore W1502835965C24890656 @default.
- W1502835965 hasConceptScore W1502835965C2524010 @default.
- W1502835965 hasConceptScore W1502835965C2775997480 @default.
- W1502835965 hasConceptScore W1502835965C33923547 @default.
- W1502835965 hasConceptScore W1502835965C34388435 @default.
- W1502835965 hasConceptScore W1502835965C90119067 @default.
- W1502835965 hasConceptScore W1502835965C9376300 @default.
- W1502835965 hasOpenAccess W1502835965 @default.
- W1502835965 hasRelatedWork W145900249 @default.
- W1502835965 hasRelatedWork W153015188 @default.
- W1502835965 hasRelatedWork W1981949200 @default.
- W1502835965 hasRelatedWork W1998375896 @default.
- W1502835965 hasRelatedWork W2009304285 @default.
- W1502835965 hasRelatedWork W2012805418 @default.
- W1502835965 hasRelatedWork W2029390834 @default.
- W1502835965 hasRelatedWork W2056382067 @default.
- W1502835965 hasRelatedWork W2126482858 @default.
- W1502835965 hasRelatedWork W2136687801 @default.
- W1502835965 hasRelatedWork W2160909640 @default.
- W1502835965 hasRelatedWork W2162703074 @default.
- W1502835965 hasRelatedWork W2164743591 @default.
- W1502835965 hasRelatedWork W2767976260 @default.
- W1502835965 hasRelatedWork W2809620386 @default.
- W1502835965 hasRelatedWork W2965705192 @default.
- W1502835965 hasRelatedWork W2974433403 @default.
- W1502835965 hasRelatedWork W3013031282 @default.
- W1502835965 hasRelatedWork W3028950990 @default.
- W1502835965 hasRelatedWork W3113860026 @default.
- W1502835965 isParatext "false" @default.
- W1502835965 isRetracted "false" @default.
- W1502835965 magId "1502835965" @default.
- W1502835965 workType "article" @default.