Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998291836> ?p ?o ?g. }
- W1998291836 created "2016-06-24" @default.
- W1998291836 creator A5089037660 @default.
- W1998291836 creator A5090163630 @default.
- W1998291836 date "2014-02-01" @default.
- W1998291836 modified "2023-09-27" @default.
- W1998291836 title "Applications of Boolean Satisfiability to Verification and Testing of Switch-Level Circuits" @default.
- W1998291836 cites W1518705996 @default.
- W1998291836 cites W1833620934 @default.
- W1998291836 cites W1990203991 @default.
- W1998291836 cites W2007455520 @default.
- W1998291836 cites W2009985530 @default.
- W1998291836 cites W2029936968 @default.
- W1998291836 cites W2059454390 @default.
- W1998291836 cites W2105298187 @default.
- W1998291836 cites W2108016168 @default.
- W1998291836 cites W2110737535 @default.
- W1998291836 cites W2117253172 @default.
- W1998291836 cites W2123485575 @default.
- W1998291836 cites W2147970500 @default.
- W1998291836 cites W2159324492 @default.
- W1998291836 cites W2160444875 @default.
- W1998291836 cites W2169294720 @default.
- W1998291836 cites W2169468177 @default.
- W1998291836 cites W4213132743 @default.
- W1998291836 cites W4255251068 @default.
- W1998291836 doi "https://doi.org/10.1007/s10836-014-5433-0" @default.
- W1998291836 hasPublicationYear "2014" @default.
- W1998291836 type Work @default.
- W1998291836 sameAs 1998291836 @default.
- W1998291836 citedByCount "3" @default.
- W1998291836 countsByYear W19982918362016 @default.
- W1998291836 countsByYear W19982918362018 @default.
- W1998291836 countsByYear W19982918362020 @default.
- W1998291836 crossrefType "journal-article" @default.
- W1998291836 hasAuthorship W1998291836A5089037660 @default.
- W1998291836 hasAuthorship W1998291836A5090163630 @default.
- W1998291836 hasConcept C111498074 @default.
- W1998291836 hasConcept C11413529 @default.
- W1998291836 hasConcept C118615104 @default.
- W1998291836 hasConcept C119599485 @default.
- W1998291836 hasConcept C127413603 @default.
- W1998291836 hasConcept C131017901 @default.
- W1998291836 hasConcept C134146338 @default.
- W1998291836 hasConcept C141796577 @default.
- W1998291836 hasConcept C168773769 @default.
- W1998291836 hasConcept C174348530 @default.
- W1998291836 hasConcept C17626397 @default.
- W1998291836 hasConcept C177264268 @default.
- W1998291836 hasConcept C187455244 @default.
- W1998291836 hasConcept C196836630 @default.
- W1998291836 hasConcept C199360897 @default.
- W1998291836 hasConcept C2780069185 @default.
- W1998291836 hasConcept C31258907 @default.
- W1998291836 hasConcept C33923547 @default.
- W1998291836 hasConcept C41008148 @default.
- W1998291836 hasConcept C6943359 @default.
- W1998291836 hasConcept C80444323 @default.
- W1998291836 hasConcept C81409106 @default.
- W1998291836 hasConcept C96654402 @default.
- W1998291836 hasConceptScore W1998291836C111498074 @default.
- W1998291836 hasConceptScore W1998291836C11413529 @default.
- W1998291836 hasConceptScore W1998291836C118615104 @default.
- W1998291836 hasConceptScore W1998291836C119599485 @default.
- W1998291836 hasConceptScore W1998291836C127413603 @default.
- W1998291836 hasConceptScore W1998291836C131017901 @default.
- W1998291836 hasConceptScore W1998291836C134146338 @default.
- W1998291836 hasConceptScore W1998291836C141796577 @default.
- W1998291836 hasConceptScore W1998291836C168773769 @default.
- W1998291836 hasConceptScore W1998291836C174348530 @default.
- W1998291836 hasConceptScore W1998291836C17626397 @default.
- W1998291836 hasConceptScore W1998291836C177264268 @default.
- W1998291836 hasConceptScore W1998291836C187455244 @default.
- W1998291836 hasConceptScore W1998291836C196836630 @default.
- W1998291836 hasConceptScore W1998291836C199360897 @default.
- W1998291836 hasConceptScore W1998291836C2780069185 @default.
- W1998291836 hasConceptScore W1998291836C31258907 @default.
- W1998291836 hasConceptScore W1998291836C33923547 @default.
- W1998291836 hasConceptScore W1998291836C41008148 @default.
- W1998291836 hasConceptScore W1998291836C6943359 @default.
- W1998291836 hasConceptScore W1998291836C80444323 @default.
- W1998291836 hasConceptScore W1998291836C81409106 @default.
- W1998291836 hasConceptScore W1998291836C96654402 @default.
- W1998291836 hasLocation W19982918361 @default.
- W1998291836 hasOpenAccess W1998291836 @default.
- W1998291836 hasPrimaryLocation W19982918361 @default.
- W1998291836 hasRelatedWork W1496882086 @default.
- W1998291836 hasRelatedWork W1604839858 @default.
- W1998291836 hasRelatedWork W1929318315 @default.
- W1998291836 hasRelatedWork W2031279738 @default.
- W1998291836 hasRelatedWork W2054215209 @default.
- W1998291836 hasRelatedWork W2078076811 @default.
- W1998291836 hasRelatedWork W2092333098 @default.
- W1998291836 hasRelatedWork W2097520266 @default.
- W1998291836 hasRelatedWork W2103485967 @default.
- W1998291836 hasRelatedWork W2113915323 @default.
- W1998291836 hasRelatedWork W2118966001 @default.
- W1998291836 hasRelatedWork W2125763413 @default.
- W1998291836 hasRelatedWork W2139171217 @default.
- W1998291836 hasRelatedWork W2148332793 @default.
- W1998291836 hasRelatedWork W2156358952 @default.