FRINK Linked Data Fragments server

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

• W3149477534 abstract "We perform formal verification of quantum circuits by integrating several techniques specialized to particular classes of circuits. Our verification methodology is based on the new notion of a reversible miter that allows one to leverage existing techniques for simplification of quantum circuits. For reversible circuits which arise as runtime bottlenecks of key quantum algorithms, we develop several verification techniques and empirically compare them. We also extend existing quantum verification tools using SAT-solvers. Experiments with circuits for Shor's number-factoring algorithm, containing thousands of gates, show improvements in efficiency by four orders of magnitude." @default.
• W3149477534 created "2021-04-13" @default.
• W3149477534 creator A5048193674 @default.
• W3149477534 date "2010-06-01" @default.
• W3149477534 modified "2023-10-18" @default.
• W3149477534 title "Fast equivalence-checking for quantum circuits" @default.
• W3149477534 cites W1994460359 @default.
• W3149477534 cites W2002372750 @default.
• W3149477534 cites W2010533446 @default.
• W3149477534 cites W2011123002 @default.
• W3149477534 cites W2017278808 @default.
• W3149477534 cites W2063803513 @default.
• W3149477534 cites W2121695129 @default.
• W3149477534 cites W2125125126 @default.
• W3149477534 cites W2155550441 @default.
• W3149477534 cites W2949425409 @default.
• W3149477534 cites W3111297213 @default.
• W3149477534 cites W3144070277 @default.
• W3149477534 doi "https://doi.org/10.1109/nanoarch.2010.5510932" @default.
• W3149477534 hasPublicationYear "2010" @default.
• W3149477534 type Work @default.
• W3149477534 sameAs 3149477534 @default.
• W3149477534 citedByCount "26" @default.
• W3149477534 countsByYear W31494775342015 @default.
• W3149477534 countsByYear W31494775342016 @default.
• W3149477534 countsByYear W31494775342017 @default.
• W3149477534 countsByYear W31494775342018 @default.
• W3149477534 countsByYear W31494775342020 @default.
• W3149477534 countsByYear W31494775342021 @default.
• W3149477534 countsByYear W31494775342022 @default.
• W3149477534 countsByYear W31494775342023 @default.
• W3149477534 crossrefType "proceedings-article" @default.
• W3149477534 hasAuthorship W3149477534A5048193674 @default.
• W3149477534 hasBestOaLocation W31494775342 @default.
• W3149477534 hasConcept C10138342 @default.
• W3149477534 hasConcept C111498074 @default.
• W3149477534 hasConcept C113775141 @default.
• W3149477534 hasConcept C11413529 @default.
• W3149477534 hasConcept C118615104 @default.
• W3149477534 hasConcept C119599485 @default.
• W3149477534 hasConcept C119857082 @default.
• W3149477534 hasConcept C121332964 @default.
• W3149477534 hasConcept C124148022 @default.
• W3149477534 hasConcept C127413603 @default.
• W3149477534 hasConcept C134146338 @default.
• W3149477534 hasConcept C153083717 @default.
• W3149477534 hasConcept C162324750 @default.
• W3149477534 hasConcept C177225278 @default.
• W3149477534 hasConcept C2780069185 @default.
• W3149477534 hasConcept C33923547 @default.
• W3149477534 hasConcept C41008148 @default.
• W3149477534 hasConcept C51003876 @default.
• W3149477534 hasConcept C58053490 @default.
• W3149477534 hasConcept C58849907 @default.
• W3149477534 hasConcept C62520636 @default.
• W3149477534 hasConcept C80444323 @default.
• W3149477534 hasConcept C84114770 @default.
• W3149477534 hasConcept C96654402 @default.
• W3149477534 hasConceptScore W3149477534C10138342 @default.
• W3149477534 hasConceptScore W3149477534C111498074 @default.
• W3149477534 hasConceptScore W3149477534C113775141 @default.
• W3149477534 hasConceptScore W3149477534C11413529 @default.
• W3149477534 hasConceptScore W3149477534C118615104 @default.
• W3149477534 hasConceptScore W3149477534C119599485 @default.
• W3149477534 hasConceptScore W3149477534C119857082 @default.
• W3149477534 hasConceptScore W3149477534C121332964 @default.
• W3149477534 hasConceptScore W3149477534C124148022 @default.
• W3149477534 hasConceptScore W3149477534C127413603 @default.
• W3149477534 hasConceptScore W3149477534C134146338 @default.
• W3149477534 hasConceptScore W3149477534C153083717 @default.
• W3149477534 hasConceptScore W3149477534C162324750 @default.
• W3149477534 hasConceptScore W3149477534C177225278 @default.
• W3149477534 hasConceptScore W3149477534C2780069185 @default.
• W3149477534 hasConceptScore W3149477534C33923547 @default.
• W3149477534 hasConceptScore W3149477534C41008148 @default.
• W3149477534 hasConceptScore W3149477534C51003876 @default.
• W3149477534 hasConceptScore W3149477534C58053490 @default.
• W3149477534 hasConceptScore W3149477534C58849907 @default.
• W3149477534 hasConceptScore W3149477534C62520636 @default.
• W3149477534 hasConceptScore W3149477534C80444323 @default.
• W3149477534 hasConceptScore W3149477534C84114770 @default.
• W3149477534 hasConceptScore W3149477534C96654402 @default.
• W3149477534 hasLocation W31494775341 @default.
• W3149477534 hasLocation W31494775342 @default.
• W3149477534 hasLocation W31494775343 @default.
• W3149477534 hasOpenAccess W3149477534 @default.
• W3149477534 hasPrimaryLocation W31494775341 @default.
• W3149477534 hasRelatedWork W1574742821 @default.
• W3149477534 hasRelatedWork W1651824144 @default.
• W3149477534 hasRelatedWork W2035731992 @default.
• W3149477534 hasRelatedWork W2037793298 @default.
• W3149477534 hasRelatedWork W2105710452 @default.
• W3149477534 hasRelatedWork W2106507440 @default.
• W3149477534 hasRelatedWork W2152752131 @default.
• W3149477534 hasRelatedWork W2162615969 @default.
• W3149477534 hasRelatedWork W2808413667 @default.
• W3149477534 hasRelatedWork W2096723742 @default.
• W3149477534 isParatext "false" @default.
• W3149477534 isRetracted "false" @default.
• W3149477534 magId "3149477534" @default.

• next