Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024295812> ?p ?o ?g. }
- W2024295812 endingPage "278" @default.
- W2024295812 startingPage "261" @default.
- W2024295812 created "2016-06-24" @default.
- W2024295812 creator A5030055236 @default.
- W2024295812 creator A5070424798 @default.
- W2024295812 creator A5075485175 @default.
- W2024295812 creator A5075895946 @default.
- W2024295812 date "2010-01-30" @default.
- W2024295812 modified "2023-09-25" @default.
- W2024295812 title "Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT" @default.
- W2024295812 cites W1519537232 @default.
- W2024295812 cites W1576512141 @default.
- W2024295812 cites W1980023055 @default.
- W2024295812 cites W1991051632 @default.
- W2024295812 cites W2046239089 @default.
- W2024295812 cites W2090103321 @default.
- W2024295812 cites W2095698047 @default.
- W2024295812 cites W2097716355 @default.
- W2024295812 cites W2098667711 @default.
- W2024295812 cites W2098827011 @default.
- W2024295812 cites W2100609826 @default.
- W2024295812 cites W2102838516 @default.
- W2024295812 cites W2112770269 @default.
- W2024295812 cites W2121162864 @default.
- W2024295812 cites W2130349975 @default.
- W2024295812 cites W2132523843 @default.
- W2024295812 cites W2153210041 @default.
- W2024295812 cites W2157591717 @default.
- W2024295812 cites W3141112769 @default.
- W2024295812 cites W4248162147 @default.
- W2024295812 doi "https://doi.org/10.1007/s10836-010-5144-0" @default.
- W2024295812 hasPublicationYear "2010" @default.
- W2024295812 type Work @default.
- W2024295812 sameAs 2024295812 @default.
- W2024295812 citedByCount "0" @default.
- W2024295812 crossrefType "journal-article" @default.
- W2024295812 hasAuthorship W2024295812A5030055236 @default.
- W2024295812 hasAuthorship W2024295812A5070424798 @default.
- W2024295812 hasAuthorship W2024295812A5075485175 @default.
- W2024295812 hasAuthorship W2024295812A5075895946 @default.
- W2024295812 hasConcept C111335779 @default.
- W2024295812 hasConcept C111498074 @default.
- W2024295812 hasConcept C111919701 @default.
- W2024295812 hasConcept C11413529 @default.
- W2024295812 hasConcept C118615104 @default.
- W2024295812 hasConcept C131017901 @default.
- W2024295812 hasConcept C152124472 @default.
- W2024295812 hasConcept C16221470 @default.
- W2024295812 hasConcept C165696696 @default.
- W2024295812 hasConcept C2524010 @default.
- W2024295812 hasConcept C2780069185 @default.
- W2024295812 hasConcept C28826006 @default.
- W2024295812 hasConcept C33923547 @default.
- W2024295812 hasConcept C36299963 @default.
- W2024295812 hasConcept C38652104 @default.
- W2024295812 hasConcept C41008148 @default.
- W2024295812 hasConcept C48044578 @default.
- W2024295812 hasConcept C6943359 @default.
- W2024295812 hasConcept C77088390 @default.
- W2024295812 hasConcept C80444323 @default.
- W2024295812 hasConcept C81409106 @default.
- W2024295812 hasConcept C96654402 @default.
- W2024295812 hasConceptScore W2024295812C111335779 @default.
- W2024295812 hasConceptScore W2024295812C111498074 @default.
- W2024295812 hasConceptScore W2024295812C111919701 @default.
- W2024295812 hasConceptScore W2024295812C11413529 @default.
- W2024295812 hasConceptScore W2024295812C118615104 @default.
- W2024295812 hasConceptScore W2024295812C131017901 @default.
- W2024295812 hasConceptScore W2024295812C152124472 @default.
- W2024295812 hasConceptScore W2024295812C16221470 @default.
- W2024295812 hasConceptScore W2024295812C165696696 @default.
- W2024295812 hasConceptScore W2024295812C2524010 @default.
- W2024295812 hasConceptScore W2024295812C2780069185 @default.
- W2024295812 hasConceptScore W2024295812C28826006 @default.
- W2024295812 hasConceptScore W2024295812C33923547 @default.
- W2024295812 hasConceptScore W2024295812C36299963 @default.
- W2024295812 hasConceptScore W2024295812C38652104 @default.
- W2024295812 hasConceptScore W2024295812C41008148 @default.
- W2024295812 hasConceptScore W2024295812C48044578 @default.
- W2024295812 hasConceptScore W2024295812C6943359 @default.
- W2024295812 hasConceptScore W2024295812C77088390 @default.
- W2024295812 hasConceptScore W2024295812C80444323 @default.
- W2024295812 hasConceptScore W2024295812C81409106 @default.
- W2024295812 hasConceptScore W2024295812C96654402 @default.
- W2024295812 hasIssue "2" @default.
- W2024295812 hasLocation W20242958121 @default.
- W2024295812 hasOpenAccess W2024295812 @default.
- W2024295812 hasPrimaryLocation W20242958121 @default.
- W2024295812 hasRelatedWork W1597654460 @default.
- W2024295812 hasRelatedWork W2024295812 @default.
- W2024295812 hasRelatedWork W2060407451 @default.
- W2024295812 hasRelatedWork W2095832879 @default.
- W2024295812 hasRelatedWork W2121162864 @default.
- W2024295812 hasRelatedWork W2356825047 @default.
- W2024295812 hasRelatedWork W2367407624 @default.
- W2024295812 hasRelatedWork W2370295989 @default.
- W2024295812 hasRelatedWork W2389109338 @default.
- W2024295812 hasRelatedWork W4236423066 @default.
- W2024295812 hasVolume "26" @default.
- W2024295812 isParatext "false" @default.