Matches in SemOpenAlex for { <https://semopenalex.org/work/W4315702683> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4315702683 abstract "Satisfiability Testing (SAT) techniques are well-established in classical computing where they are used to solve a broad variety of problems, e.g., in the design of classical circuits and systems. Analogous to the classical realm, quantum algorithms are usually modelled as circuits and similar design tasks need to be tackled. Thus, it is natural to pose the question whether these design tasks in the quantum realm can also be approached using SAT techniques. To the best of our knowledge, no SAT formulation for arbitrary quantum circuits exists and it is unknown whether such an approach is feasible at all. In this work, we define a propositional SAT encoding that, in principle, can be applied to arbitrary quantum circuits. However, we show that due to the inherent complexity of representing quantum states, constructing such an encoding is not feasible in general. Therefore, we establish general criteria for determining the feasibility of the proposed encoding and identify classes of quantum circuits fulfilling these criteria. We explicitly demonstrate how the proposed encoding can be applied to the class of Clifford circuits as a representative. Finally, we empirically demonstrate the applicability and efficiency of the proposed encoding for Clifford circuits. With these results, we lay the foundation for continuing the ongoing success of SAT in classical circuit and systems design for quantum circuits." @default.
- W4315702683 created "2023-01-12" @default.
- W4315702683 creator A5004214923 @default.
- W4315702683 creator A5011358325 @default.
- W4315702683 creator A5012129773 @default.
- W4315702683 date "2022-03-01" @default.
- W4315702683 modified "2023-09-25" @default.
- W4315702683 title "Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond" @default.
- W4315702683 doi "https://doi.org/10.4230/lipics.sat.2022.18" @default.
- W4315702683 hasPublicationYear "2022" @default.
- W4315702683 type Work @default.
- W4315702683 citedByCount "0" @default.
- W4315702683 crossrefType "posted-content" @default.
- W4315702683 hasAuthorship W4315702683A5004214923 @default.
- W4315702683 hasAuthorship W4315702683A5011358325 @default.
- W4315702683 hasAuthorship W4315702683A5012129773 @default.
- W4315702683 hasBestOaLocation W43157026831 @default.
- W4315702683 hasConcept C121332964 @default.
- W4315702683 hasConcept C124148022 @default.
- W4315702683 hasConcept C125411270 @default.
- W4315702683 hasConcept C134146338 @default.
- W4315702683 hasConcept C154945302 @default.
- W4315702683 hasConcept C186468114 @default.
- W4315702683 hasConcept C33923547 @default.
- W4315702683 hasConcept C41008148 @default.
- W4315702683 hasConcept C58053490 @default.
- W4315702683 hasConcept C62520636 @default.
- W4315702683 hasConcept C80444323 @default.
- W4315702683 hasConcept C84114770 @default.
- W4315702683 hasConcept C94375191 @default.
- W4315702683 hasConceptScore W4315702683C121332964 @default.
- W4315702683 hasConceptScore W4315702683C124148022 @default.
- W4315702683 hasConceptScore W4315702683C125411270 @default.
- W4315702683 hasConceptScore W4315702683C134146338 @default.
- W4315702683 hasConceptScore W4315702683C154945302 @default.
- W4315702683 hasConceptScore W4315702683C186468114 @default.
- W4315702683 hasConceptScore W4315702683C33923547 @default.
- W4315702683 hasConceptScore W4315702683C41008148 @default.
- W4315702683 hasConceptScore W4315702683C58053490 @default.
- W4315702683 hasConceptScore W4315702683C62520636 @default.
- W4315702683 hasConceptScore W4315702683C80444323 @default.
- W4315702683 hasConceptScore W4315702683C84114770 @default.
- W4315702683 hasConceptScore W4315702683C94375191 @default.
- W4315702683 hasLocation W43157026831 @default.
- W4315702683 hasOpenAccess W4315702683 @default.
- W4315702683 hasPrimaryLocation W43157026831 @default.
- W4315702683 hasRelatedWork W1076955533 @default.
- W4315702683 hasRelatedWork W1981303046 @default.
- W4315702683 hasRelatedWork W2123966036 @default.
- W4315702683 hasRelatedWork W2249321500 @default.
- W4315702683 hasRelatedWork W2953993404 @default.
- W4315702683 hasRelatedWork W3121383614 @default.
- W4315702683 hasRelatedWork W3144849350 @default.
- W4315702683 hasRelatedWork W4287126547 @default.
- W4315702683 hasRelatedWork W4289828265 @default.
- W4315702683 hasRelatedWork W4311556554 @default.
- W4315702683 isParatext "false" @default.
- W4315702683 isRetracted "false" @default.
- W4315702683 workType "article" @default.