FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3042349892> ?p ?o ?g. }

• W3042349892 endingPage "528" @default.
• W3042349892 startingPage "508" @default.
• W3042349892 abstract "We present a new semantic gate extraction technique for propositional formulas based on interpolation. While known gate detection methods are incomplete and rely on pattern matching or simple semantic conditions, this approach can detect any definition entailed by an input formula. As an application, we consider the problem of computing unique strategy functions from Quantified Boolean Formulas (QBFs) and Dependency Quantified Boolean Formulas (DQBFs). Experiments with a prototype implementation demonstrate that functions can be efficiently extracted from formulas in standard benchmark sets, and that many of these definitions remain undetected by syntactic gate detection. We turn this into a preprocessing technique by substituting unique strategy functions for input variables and test solver performance on the resulting instances. Compared to syntactic gate detection, we see a significant increase in the number of solved QBF instances, as well as a modest increase for DQBF instances." @default.
• W3042349892 created "2020-07-23" @default.
• W3042349892 creator A5011005221 @default.
• W3042349892 date "2020-01-01" @default.
• W3042349892 modified "2023-10-10" @default.
• W3042349892 title "Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing" @default.
• W3042349892 cites W1014453521 @default.
• W3042349892 cites W134339645 @default.
• W3042349892 cites W1503773079 @default.
• W3042349892 cites W1510368738 @default.
• W3042349892 cites W151780725 @default.
• W3042349892 cites W1518705996 @default.
• W3042349892 cites W1528837436 @default.
• W3042349892 cites W1544505822 @default.
• W3042349892 cites W1549449731 @default.
• W3042349892 cites W1562832747 @default.
• W3042349892 cites W1603914046 @default.
• W3042349892 cites W1778004173 @default.
• W3042349892 cites W1949943063 @default.
• W3042349892 cites W1950282396 @default.
• W3042349892 cites W1975118984 @default.
• W3042349892 cites W1999997889 @default.
• W3042349892 cites W2038777323 @default.
• W3042349892 cites W2044632231 @default.
• W3042349892 cites W2049573872 @default.
• W3042349892 cites W2070447189 @default.
• W3042349892 cites W2085289300 @default.
• W3042349892 cites W2102022086 @default.
• W3042349892 cites W2109259936 @default.
• W3042349892 cites W2114633883 @default.
• W3042349892 cites W2212515300 @default.
• W3042349892 cites W2222719317 @default.
• W3042349892 cites W2236948976 @default.
• W3042349892 cites W2404220671 @default.
• W3042349892 cites W2463075119 @default.
• W3042349892 cites W2505627961 @default.
• W3042349892 cites W2600514308 @default.
• W3042349892 cites W2600686309 @default.
• W3042349892 cites W2789224735 @default.
• W3042349892 cites W2947743331 @default.
• W3042349892 cites W2952988220 @default.
• W3042349892 cites W2987391383 @default.
• W3042349892 cites W3145899849 @default.
• W3042349892 cites W4235759561 @default.
• W3042349892 cites W4235795581 @default.
• W3042349892 cites W4239856406 @default.
• W3042349892 cites W6137842 @default.
• W3042349892 cites W99602494 @default.
• W3042349892 doi "https://doi.org/10.1007/978-3-030-53288-8_24" @default.
• W3042349892 hasPublicationYear "2020" @default.
• W3042349892 type Work @default.
• W3042349892 sameAs 3042349892 @default.
• W3042349892 citedByCount "9" @default.
• W3042349892 countsByYear W30423498922021 @default.
• W3042349892 countsByYear W30423498922022 @default.
• W3042349892 countsByYear W30423498922023 @default.
• W3042349892 crossrefType "book-chapter" @default.
• W3042349892 hasAuthorship W3042349892A5011005221 @default.
• W3042349892 hasBestOaLocation W30423498921 @default.
• W3042349892 hasConcept C105795698 @default.
• W3042349892 hasConcept C111472728 @default.
• W3042349892 hasConcept C11413529 @default.
• W3042349892 hasConcept C115961682 @default.
• W3042349892 hasConcept C13280743 @default.
• W3042349892 hasConcept C136726353 @default.
• W3042349892 hasConcept C137800194 @default.
• W3042349892 hasConcept C138885662 @default.
• W3042349892 hasConcept C154945302 @default.
• W3042349892 hasConcept C16221470 @default.
• W3042349892 hasConcept C165064840 @default.
• W3042349892 hasConcept C185798385 @default.
• W3042349892 hasConcept C19768560 @default.
• W3042349892 hasConcept C199360897 @default.
• W3042349892 hasConcept C205649164 @default.
• W3042349892 hasConcept C2778770139 @default.
• W3042349892 hasConcept C2780586882 @default.
• W3042349892 hasConcept C33923547 @default.
• W3042349892 hasConcept C34736171 @default.
• W3042349892 hasConcept C41008148 @default.
• W3042349892 hasConcept C69562738 @default.
• W3042349892 hasConcept C80444323 @default.
• W3042349892 hasConceptScore W3042349892C105795698 @default.
• W3042349892 hasConceptScore W3042349892C111472728 @default.
• W3042349892 hasConceptScore W3042349892C11413529 @default.
• W3042349892 hasConceptScore W3042349892C115961682 @default.
• W3042349892 hasConceptScore W3042349892C13280743 @default.
• W3042349892 hasConceptScore W3042349892C136726353 @default.
• W3042349892 hasConceptScore W3042349892C137800194 @default.
• W3042349892 hasConceptScore W3042349892C138885662 @default.
• W3042349892 hasConceptScore W3042349892C154945302 @default.
• W3042349892 hasConceptScore W3042349892C16221470 @default.
• W3042349892 hasConceptScore W3042349892C165064840 @default.
• W3042349892 hasConceptScore W3042349892C185798385 @default.
• W3042349892 hasConceptScore W3042349892C19768560 @default.
• W3042349892 hasConceptScore W3042349892C199360897 @default.
• W3042349892 hasConceptScore W3042349892C205649164 @default.
• W3042349892 hasConceptScore W3042349892C2778770139 @default.
• W3042349892 hasConceptScore W3042349892C2780586882 @default.

• next