Lieuwe Vinkhuijzen

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Knowledge Compilation

Decision Diagrams

Efficient Implementation

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
A Knowledge Compilation Map for Quantum Information. CoRR (2024)
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. Quantum 7 (2023)
Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. SPIN (2023)
Lieuwe Vinkhuijzen, Alfons Laarman
The Power of Disjoint Support Decompositions in Decision Diagrams. NFM (2022)
Lieuwe Vinkhuijzen, Tim Coopmans, David Elkouss, Vedran Dunjko, Alfons Laarman
LIMDD A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. CoRR (2021)
Lieuwe Vinkhuijzen, Alfons Laarman
Symbolic Model Checking with Sentential Decision Diagrams. SETTA (2020)
Lieuwe Vinkhuijzen, André H. Deutz
A Simple Proof of Vyalyi's Theorem and some Generalizations. Electron. Colloquium Comput. Complex. 26 (2019)