A Simple Proof of Vyalyi's Theorem and some Generalizations. - Lieuwe Vinkhuijzen; André H. Deutz (Electron. Colloquium Comput. Complex., 2019)

Symbolic Model Checking with Sentential Decision Diagrams. - Lieuwe Vinkhuijzen; Alfons Laarman (SETTA, 2020)

The Power of Disjoint Support Decompositions in Decision Diagrams. - Lieuwe Vinkhuijzen; Alfons Laarman (NFM, 2022)

Efficient Implementation of LIMDDs for Quantum Circuit Simulation. - Lieuwe Vinkhuijzen; Thomas Grurl; Stefan Hillmich; Sebastiaan Brand; Robert Wille; Alfons Laarman (SPIN, 2023)

LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States. - Lieuwe Vinkhuijzen; Tim Coopmans; David Elkouss; Vedran Dunjko; Alfons Laarman (Quantum, 2023)

A Knowledge Compilation Map for Quantum Information. - Lieuwe Vinkhuijzen; Tim Coopmans; Alfons Laarman (CoRR, 2024)