research
∙
09/07/2023
Quantum Graph-State Synthesis with SAT
In quantum computing and quantum information processing, graph states ar...
share
research
∙
08/23/2023
Incremental Property Directed Reachability
Property Directed Reachability (PDR) is a widely used technique for form...
research
∙
12/07/2022
A Decision Diagram Operation for Reachability
Saturation is considered the state-of-the-art method for computing fixpo...
research
∙
08/02/2021
LIMDD A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States
Efficient methods for the representation of relevant quantum states and ...
research
∙
07/14/2020
Hybrid divide-and-conquer approach for tree search algorithms
As we are entering the era of real-world small quantum computers, findin...
research
∙
02/08/2018