Matches in SemOpenAlex for { <https://semopenalex.org/work/W2986691327> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2986691327 endingPage "103185" @default.
- W2986691327 startingPage "103185" @default.
- W2986691327 abstract "We propose two models of random quantified boolean formulas and their natural random disjunctive logic program counterparts. The models extend the standard models of random k-CNF formulas and the Chen-Interian model of random 2QBFs. The first model controls the generation of programs and QSAT formulas by imposing a specific structure on rules and clauses, respectively. The second model is based on a family of QSAT formulas in a non-clausal form. We provide theoretical bounds for the phase transition region in our models, and show experimentally the presence of the easy-hard-easy pattern and its alignment with the location of the phase transition. We show that boolean formulas and logic programs from our models are significantly harder than those obtained from the standard k-CNF and Chen-Interian models, and that their combination yields formulas and programs that are “super-hard” to evaluate. We also provide evidence suggesting that formulas from one of our models are well suited for assessing solvers tuned to real-world instances. Finally, it is noteworthy that, to the best of our knowledge, our models and results on random disjunctive logic programs are the first of their kind." @default.
- W2986691327 created "2019-11-22" @default.
- W2986691327 creator A5019306962 @default.
- W2986691327 creator A5070069387 @default.
- W2986691327 creator A5079794036 @default.
- W2986691327 date "2020-02-01" @default.
- W2986691327 modified "2023-10-16" @default.
- W2986691327 title "New models for generating hard random boolean formulas and disjunctive logic programs" @default.
- W2986691327 cites W2006474266 @default.
- W2986691327 cites W2022397086 @default.
- W2986691327 cites W2023622935 @default.
- W2986691327 cites W2041982261 @default.
- W2986691327 cites W2075335084 @default.
- W2986691327 cites W2076698873 @default.
- W2986691327 cites W2087432892 @default.
- W2986691327 cites W2091138122 @default.
- W2986691327 cites W2127206515 @default.
- W2986691327 cites W2155218845 @default.
- W2986691327 cites W2212515300 @default.
- W2986691327 cites W2233304325 @default.
- W2986691327 cites W2265638991 @default.
- W2986691327 cites W2409909788 @default.
- W2986691327 cites W2464591762 @default.
- W2986691327 cites W2540236031 @default.
- W2986691327 doi "https://doi.org/10.1016/j.artint.2019.103185" @default.
- W2986691327 hasPublicationYear "2020" @default.
- W2986691327 type Work @default.
- W2986691327 sameAs 2986691327 @default.
- W2986691327 citedByCount "4" @default.
- W2986691327 countsByYear W29866913272018 @default.
- W2986691327 countsByYear W29866913272020 @default.
- W2986691327 countsByYear W29866913272022 @default.
- W2986691327 countsByYear W29866913272023 @default.
- W2986691327 crossrefType "journal-article" @default.
- W2986691327 hasAuthorship W2986691327A5019306962 @default.
- W2986691327 hasAuthorship W2986691327A5070069387 @default.
- W2986691327 hasAuthorship W2986691327A5079794036 @default.
- W2986691327 hasBestOaLocation W29866913271 @default.
- W2986691327 hasConcept C11413529 @default.
- W2986691327 hasConcept C118615104 @default.
- W2986691327 hasConcept C128838566 @default.
- W2986691327 hasConcept C151730666 @default.
- W2986691327 hasConcept C2776085556 @default.
- W2986691327 hasConcept C2987117450 @default.
- W2986691327 hasConcept C33923547 @default.
- W2986691327 hasConcept C41008148 @default.
- W2986691327 hasConcept C67499762 @default.
- W2986691327 hasConcept C7342684 @default.
- W2986691327 hasConcept C80444323 @default.
- W2986691327 hasConcept C86803240 @default.
- W2986691327 hasConceptScore W2986691327C11413529 @default.
- W2986691327 hasConceptScore W2986691327C118615104 @default.
- W2986691327 hasConceptScore W2986691327C128838566 @default.
- W2986691327 hasConceptScore W2986691327C151730666 @default.
- W2986691327 hasConceptScore W2986691327C2776085556 @default.
- W2986691327 hasConceptScore W2986691327C2987117450 @default.
- W2986691327 hasConceptScore W2986691327C33923547 @default.
- W2986691327 hasConceptScore W2986691327C41008148 @default.
- W2986691327 hasConceptScore W2986691327C67499762 @default.
- W2986691327 hasConceptScore W2986691327C7342684 @default.
- W2986691327 hasConceptScore W2986691327C80444323 @default.
- W2986691327 hasConceptScore W2986691327C86803240 @default.
- W2986691327 hasFunder F4320306076 @default.
- W2986691327 hasFunder F4320324632 @default.
- W2986691327 hasLocation W29866913271 @default.
- W2986691327 hasLocation W29866913272 @default.
- W2986691327 hasOpenAccess W2986691327 @default.
- W2986691327 hasPrimaryLocation W29866913271 @default.
- W2986691327 hasRelatedWork W1492259997 @default.
- W2986691327 hasRelatedWork W1604438253 @default.
- W2986691327 hasRelatedWork W2778199599 @default.
- W2986691327 hasRelatedWork W2786537142 @default.
- W2986691327 hasRelatedWork W2802923427 @default.
- W2986691327 hasRelatedWork W2803646357 @default.
- W2986691327 hasRelatedWork W2949233911 @default.
- W2986691327 hasRelatedWork W3183599949 @default.
- W2986691327 hasRelatedWork W4300072257 @default.
- W2986691327 hasRelatedWork W46480492 @default.
- W2986691327 hasVolume "279" @default.
- W2986691327 isParatext "false" @default.
- W2986691327 isRetracted "false" @default.
- W2986691327 magId "2986691327" @default.
- W2986691327 workType "article" @default.