42 citations · 97 across the 19 of their papers we have counts for
Showing 2023 · quant-phShow all
2 papers · 2 filters
quant-ph2023
Quantum Graph-State Synthesis with SAT
Sebastiaan Brand, Tim Coopmans, Alfons Laarman
In quantum computing and quantum information processing, graph states are a specific type of quantum states which are commonly used in quantum networking and quantum error correcti…
quant-ph2023
Fast equivalence checking of quantum circuits of Clifford gates
Dimitrios Thanos, Tim Coopmans, Alfons Laarman
Checking whether two quantum circuits are equivalent is important for the design and optimization of quantum-computer applications with real-world devices. We consider quantum circ…