FRINK Linked Data Fragments server

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

• W221370897 endingPage "207" @default.
• W221370897 startingPage "191" @default.
• W221370897 abstract "This paper presents an elegant algorithm for existential quantifier elimination using incremental SAT solving. This approach contrasts with existing techniques in that it is based solely on manipulating the SAT instance rather than requiring any reengineering of the SAT solver or needing an auxiliary data-structure such as a BDD. The algorithm combines model enumeration with the generation of shortest prime implicants so as to converge onto a quantifier-free formula presented in CNF. We apply the technique to a number of hardware circuits and transfer functions to demonstrate the effectiveness of the method." @default.
• W221370897 created "2016-06-24" @default.
• W221370897 creator A5063762504 @default.
• W221370897 creator A5070791589 @default.
• W221370897 creator A5079816317 @default.
• W221370897 date "2011-01-01" @default.
• W221370897 modified "2023-10-14" @default.
• W221370897 title "Existential Quantification as Incremental SAT" @default.
• W221370897 cites W1485150864 @default.
• W221370897 cites W1491913687 @default.
• W221370897 cites W1497571013 @default.
• W221370897 cites W1506660274 @default.
• W221370897 cites W153567890 @default.
• W221370897 cites W1551202246 @default.
• W221370897 cites W1574896545 @default.
• W221370897 cites W1585305433 @default.
• W221370897 cites W1589254173 @default.
• W221370897 cites W1601517679 @default.
• W221370897 cites W1603182045 @default.
• W221370897 cites W1608279203 @default.
• W221370897 cites W1794792640 @default.
• W221370897 cites W1972085995 @default.
• W221370897 cites W1999997889 @default.
• W221370897 cites W2003412429 @default.
• W221370897 cites W2010065567 @default.
• W221370897 cites W2057821410 @default.
• W221370897 cites W2061438988 @default.
• W221370897 cites W2091968063 @default.
• W221370897 cites W2116523693 @default.
• W221370897 cites W2126301692 @default.
• W221370897 cites W2126626789 @default.
• W221370897 cites W2150913305 @default.
• W221370897 cites W2151398141 @default.
• W221370897 cites W2161217905 @default.
• W221370897 cites W4231510479 @default.
• W221370897 cites W4235351245 @default.
• W221370897 doi "https://doi.org/10.1007/978-3-642-22110-1_17" @default.
• W221370897 hasPublicationYear "2011" @default.
• W221370897 type Work @default.
• W221370897 sameAs 221370897 @default.
• W221370897 citedByCount "28" @default.
• W221370897 countsByYear W2213708972012 @default.
• W221370897 countsByYear W2213708972013 @default.
• W221370897 countsByYear W2213708972014 @default.
• W221370897 countsByYear W2213708972015 @default.
• W221370897 countsByYear W2213708972019 @default.
• W221370897 countsByYear W2213708972020 @default.
• W221370897 countsByYear W2213708972023 @default.
• W221370897 crossrefType "book-chapter" @default.
• W221370897 hasAuthorship W221370897A5063762504 @default.
• W221370897 hasAuthorship W221370897A5070791589 @default.
• W221370897 hasAuthorship W221370897A5079816317 @default.
• W221370897 hasBestOaLocation W2213708971 @default.
• W221370897 hasConcept C102487863 @default.
• W221370897 hasConcept C111472728 @default.
• W221370897 hasConcept C11413529 @default.
• W221370897 hasConcept C114614502 @default.
• W221370897 hasConcept C127882523 @default.
• W221370897 hasConcept C138885662 @default.
• W221370897 hasConcept C158465420 @default.
• W221370897 hasConcept C16221470 @default.
• W221370897 hasConcept C164155591 @default.
• W221370897 hasConcept C168773769 @default.
• W221370897 hasConcept C184992742 @default.
• W221370897 hasConcept C187455244 @default.
• W221370897 hasConcept C199360897 @default.
• W221370897 hasConcept C32278780 @default.
• W221370897 hasConcept C33923547 @default.
• W221370897 hasConcept C41008148 @default.
• W221370897 hasConcept C6943359 @default.
• W221370897 hasConcept C80444323 @default.
• W221370897 hasConcept C94375191 @default.
• W221370897 hasConceptScore W221370897C102487863 @default.
• W221370897 hasConceptScore W221370897C111472728 @default.
• W221370897 hasConceptScore W221370897C11413529 @default.
• W221370897 hasConceptScore W221370897C114614502 @default.
• W221370897 hasConceptScore W221370897C127882523 @default.
• W221370897 hasConceptScore W221370897C138885662 @default.
• W221370897 hasConceptScore W221370897C158465420 @default.
• W221370897 hasConceptScore W221370897C16221470 @default.
• W221370897 hasConceptScore W221370897C164155591 @default.
• W221370897 hasConceptScore W221370897C168773769 @default.
• W221370897 hasConceptScore W221370897C184992742 @default.
• W221370897 hasConceptScore W221370897C187455244 @default.
• W221370897 hasConceptScore W221370897C199360897 @default.
• W221370897 hasConceptScore W221370897C32278780 @default.
• W221370897 hasConceptScore W221370897C33923547 @default.
• W221370897 hasConceptScore W221370897C41008148 @default.
• W221370897 hasConceptScore W221370897C6943359 @default.
• W221370897 hasConceptScore W221370897C80444323 @default.
• W221370897 hasConceptScore W221370897C94375191 @default.
• W221370897 hasLocation W2213708971 @default.
• W221370897 hasLocation W2213708972 @default.
• W221370897 hasLocation W2213708973 @default.
• W221370897 hasLocation W2213708974 @default.
• W221370897 hasOpenAccess W221370897 @default.
• W221370897 hasPrimaryLocation W2213708971 @default.
• W221370897 hasRelatedWork W145561974 @default.

• next