42 citations · 97 across the 19 of their papers we have counts for
4 papers · 1 filter
Enriching Diagrams with Algebraic Operations
Alejandro Villoria, Henning Basold, Alfons Laarman
In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched…
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…
Incremental Property Directed Reachability
Max Blankestijn, Alfons Laarman
Property Directed Reachability (PDR) is a widely used technique for formal verification of hardware and software systems. This paper presents an incremental version of PDR (IPDR),…
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…