Matches in SemOpenAlex for { <https://semopenalex.org/work/W1518031539> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1518031539 abstract "We generalize recent linear lower bounds for Polynomial Calculus based on binomial ideals. We produce a general hardness criterion (that we call immunity) which is satisfied by a random function and prove linear lower bounds on the degree of PC refutations for a wide class of tautologies based on immune functions. As some applications of our techniques, we introduce mod/sub p/ Tseitin tautologies in the Boolean case (e.g. in the presence of axioms x/sub i//sup 2/=x/sub i/), prove that they are hard for PC over fields with characteristic different from p, and generalize them to Flow tautologies which are based on the MAJORITY function and are proved to be hard over any field. We also show the /spl Omega/(n) lower bound for random k-CNFs over fields of characteristic 2." @default.
- W1518031539 created "2016-06-24" @default.
- W1518031539 creator A5008113826 @default.
- W1518031539 creator A5062653940 @default.
- W1518031539 date "2001-01-01" @default.
- W1518031539 modified "2023-10-16" @default.
- W1518031539 title "Lower bounds for polynomial calculus: non-binomial case" @default.
- W1518031539 cites W1557604257 @default.
- W1518031539 cites W1606026804 @default.
- W1518031539 cites W1968655942 @default.
- W1518031539 cites W2056382067 @default.
- W1518031539 cites W2060276273 @default.
- W1518031539 cites W2093396771 @default.
- W1518031539 cites W2097113315 @default.
- W1518031539 cites W2097114401 @default.
- W1518031539 cites W2097746739 @default.
- W1518031539 cites W2110053319 @default.
- W1518031539 cites W2126420408 @default.
- W1518031539 cites W2132489129 @default.
- W1518031539 cites W2163546623 @default.
- W1518031539 cites W2611287588 @default.
- W1518031539 cites W2912080987 @default.
- W1518031539 cites W4235946010 @default.
- W1518031539 doi "https://doi.org/10.1109/sfcs.2001.959893" @default.
- W1518031539 hasPublicationYear "2001" @default.
- W1518031539 type Work @default.
- W1518031539 sameAs 1518031539 @default.
- W1518031539 citedByCount "51" @default.
- W1518031539 countsByYear W15180315392012 @default.
- W1518031539 countsByYear W15180315392013 @default.
- W1518031539 countsByYear W15180315392014 @default.
- W1518031539 countsByYear W15180315392015 @default.
- W1518031539 countsByYear W15180315392016 @default.
- W1518031539 countsByYear W15180315392017 @default.
- W1518031539 countsByYear W15180315392018 @default.
- W1518031539 countsByYear W15180315392019 @default.
- W1518031539 countsByYear W15180315392021 @default.
- W1518031539 countsByYear W15180315392022 @default.
- W1518031539 countsByYear W15180315392023 @default.
- W1518031539 crossrefType "proceedings-article" @default.
- W1518031539 hasAuthorship W1518031539A5008113826 @default.
- W1518031539 hasAuthorship W1518031539A5062653940 @default.
- W1518031539 hasConcept C105795698 @default.
- W1518031539 hasConcept C118615104 @default.
- W1518031539 hasConcept C134306372 @default.
- W1518031539 hasConcept C180099792 @default.
- W1518031539 hasConcept C199343813 @default.
- W1518031539 hasConcept C2777686260 @default.
- W1518031539 hasConcept C2781315470 @default.
- W1518031539 hasConcept C33923547 @default.
- W1518031539 hasConcept C41008148 @default.
- W1518031539 hasConcept C71924100 @default.
- W1518031539 hasConcept C90119067 @default.
- W1518031539 hasConceptScore W1518031539C105795698 @default.
- W1518031539 hasConceptScore W1518031539C118615104 @default.
- W1518031539 hasConceptScore W1518031539C134306372 @default.
- W1518031539 hasConceptScore W1518031539C180099792 @default.
- W1518031539 hasConceptScore W1518031539C199343813 @default.
- W1518031539 hasConceptScore W1518031539C2777686260 @default.
- W1518031539 hasConceptScore W1518031539C2781315470 @default.
- W1518031539 hasConceptScore W1518031539C33923547 @default.
- W1518031539 hasConceptScore W1518031539C41008148 @default.
- W1518031539 hasConceptScore W1518031539C71924100 @default.
- W1518031539 hasConceptScore W1518031539C90119067 @default.
- W1518031539 hasLocation W15180315391 @default.
- W1518031539 hasOpenAccess W1518031539 @default.
- W1518031539 hasPrimaryLocation W15180315391 @default.
- W1518031539 hasRelatedWork W1587332544 @default.
- W1518031539 hasRelatedWork W2024600207 @default.
- W1518031539 hasRelatedWork W2082464929 @default.
- W1518031539 hasRelatedWork W2090447049 @default.
- W1518031539 hasRelatedWork W2320029431 @default.
- W1518031539 hasRelatedWork W2323565390 @default.
- W1518031539 hasRelatedWork W3027495601 @default.
- W1518031539 hasRelatedWork W4205710192 @default.
- W1518031539 hasRelatedWork W4236627876 @default.
- W1518031539 hasRelatedWork W4242826352 @default.
- W1518031539 isParatext "false" @default.
- W1518031539 isRetracted "false" @default.
- W1518031539 magId "1518031539" @default.
- W1518031539 workType "article" @default.