Matches in SemOpenAlex for { <https://semopenalex.org/work/W2051226232> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2051226232 abstract "We introduce methods to generate uniform families of hard propositional tautologies. The tautologies are essentially generated from a single propositional formula by a natural action of the symmetric group Sn. The basic idea is that any Second Order Existential sentence Ψ can be systematically translated into a conjunction φ of a finite collection of clauses such that the models of size n of an appropriate Skolemization Ψ are in one-to-one correspondence with the satisfying assignments to φn: the Sn-closure of φ, under a natural action of the symmetric group Sn. Each φn is a CNF and thus has depth at most 2. The size of the φn’s is bounded by a polynomial in n. Under the assumption NEXPTIME 6= coNEXPTIME, for any such sequence φn for which the spectrum S := {n : φn satisfiable} is NEXPTIME-complete, the tautologies ¬φn 6∈S do not have polynomial length proofs in any propositional proof system. Our translation method shows that most sequences of tautologies being studied in propositional proof complexity can be systematically generated from Second Order Existential sentences The International PhD Research School at BRICS, Aarhus, Denmark; Email: smriis@daimi.aau.dk Part of this work was done while visiting the Fields Institute, Toronto, Canada CISE Department, University of Florida, Gainesville, FL 32611-6120; Email: sitharam@cise.ufl.edu Supported in part by NSF Grant CCR 94-09809." @default.
- W2051226232 created "2016-06-24" @default.
- W2051226232 creator A5005137861 @default.
- W2051226232 creator A5089647969 @default.
- W2051226232 date "2000-11-01" @default.
- W2051226232 modified "2023-09-27" @default.
- W2051226232 title "Generating hard tautologies using predicate logic and the symmetric group" @default.
- W2051226232 cites W1494059412 @default.
- W2051226232 cites W1572440476 @default.
- W2051226232 cites W1583541147 @default.
- W2051226232 cites W1607926272 @default.
- W2051226232 cites W1964177783 @default.
- W2051226232 cites W2074052574 @default.
- W2051226232 cites W2132489129 @default.
- W2051226232 cites W2323554188 @default.
- W2051226232 cites W2728095097 @default.
- W2051226232 cites W3217399827 @default.
- W2051226232 cites W75109858 @default.
- W2051226232 cites W91263724 @default.
- W2051226232 doi "https://doi.org/10.1093/jigpal/8.6.787" @default.
- W2051226232 hasPublicationYear "2000" @default.
- W2051226232 type Work @default.
- W2051226232 sameAs 2051226232 @default.
- W2051226232 citedByCount "4" @default.
- W2051226232 countsByYear W20512262322014 @default.
- W2051226232 countsByYear W20512262322018 @default.
- W2051226232 crossrefType "journal-article" @default.
- W2051226232 hasAuthorship W2051226232A5005137861 @default.
- W2051226232 hasAuthorship W2051226232A5089647969 @default.
- W2051226232 hasConcept C102993220 @default.
- W2051226232 hasConcept C105605280 @default.
- W2051226232 hasConcept C108710211 @default.
- W2051226232 hasConcept C114614502 @default.
- W2051226232 hasConcept C118615104 @default.
- W2051226232 hasConcept C134306372 @default.
- W2051226232 hasConcept C14523651 @default.
- W2051226232 hasConcept C2524010 @default.
- W2051226232 hasConcept C33203268 @default.
- W2051226232 hasConcept C33923547 @default.
- W2051226232 hasConcept C34388435 @default.
- W2051226232 hasConcept C41008148 @default.
- W2051226232 hasConcept C65880906 @default.
- W2051226232 hasConcept C69562738 @default.
- W2051226232 hasConcept C74640108 @default.
- W2051226232 hasConcept C80444323 @default.
- W2051226232 hasConceptScore W2051226232C102993220 @default.
- W2051226232 hasConceptScore W2051226232C105605280 @default.
- W2051226232 hasConceptScore W2051226232C108710211 @default.
- W2051226232 hasConceptScore W2051226232C114614502 @default.
- W2051226232 hasConceptScore W2051226232C118615104 @default.
- W2051226232 hasConceptScore W2051226232C134306372 @default.
- W2051226232 hasConceptScore W2051226232C14523651 @default.
- W2051226232 hasConceptScore W2051226232C2524010 @default.
- W2051226232 hasConceptScore W2051226232C33203268 @default.
- W2051226232 hasConceptScore W2051226232C33923547 @default.
- W2051226232 hasConceptScore W2051226232C34388435 @default.
- W2051226232 hasConceptScore W2051226232C41008148 @default.
- W2051226232 hasConceptScore W2051226232C65880906 @default.
- W2051226232 hasConceptScore W2051226232C69562738 @default.
- W2051226232 hasConceptScore W2051226232C74640108 @default.
- W2051226232 hasConceptScore W2051226232C80444323 @default.
- W2051226232 hasLocation W20512262321 @default.
- W2051226232 hasOpenAccess W2051226232 @default.
- W2051226232 hasPrimaryLocation W20512262321 @default.
- W2051226232 hasRelatedWork W140816296 @default.
- W2051226232 hasRelatedWork W1594461198 @default.
- W2051226232 hasRelatedWork W1891519661 @default.
- W2051226232 hasRelatedWork W1913885943 @default.
- W2051226232 hasRelatedWork W2067332512 @default.
- W2051226232 hasRelatedWork W2089534194 @default.
- W2051226232 hasRelatedWork W2123089305 @default.
- W2051226232 hasRelatedWork W2127907968 @default.
- W2051226232 hasRelatedWork W2131663704 @default.
- W2051226232 hasRelatedWork W2148157601 @default.
- W2051226232 hasRelatedWork W2153765600 @default.
- W2051226232 hasRelatedWork W2396667854 @default.
- W2051226232 hasRelatedWork W2724305562 @default.
- W2051226232 hasRelatedWork W2798507261 @default.
- W2051226232 hasRelatedWork W2890827357 @default.
- W2051226232 hasRelatedWork W2976185680 @default.
- W2051226232 hasRelatedWork W2977445479 @default.
- W2051226232 hasRelatedWork W3106321783 @default.
- W2051226232 hasRelatedWork W3138992896 @default.
- W2051226232 hasRelatedWork W2739199202 @default.
- W2051226232 isParatext "false" @default.
- W2051226232 isRetracted "false" @default.
- W2051226232 magId "2051226232" @default.
- W2051226232 workType "article" @default.