Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. - Lucas Berent; Lukas Burgholzer; Robert Wille (SAT, 2022)

Complexity of Arithmetic in Warded Datalog+-. - Lucas Berent; Markus Nissl; Emanuel Sallinger (CoRR, 2022)

Software Tools for Decoding Quantum Low-Density Parity-Check Codes. - Lucas Berent; Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

Analog information decoding of bosonic quantum LDPC codes. - Lucas Berent; Timo Hillmann; Jens Eisert; Robert Wille; Joschka Roffe (CoRR, 2023)

Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. - Lucas Berent; Lukas Burgholzer; Peter-Jan H. S. Derks; Jens Eisert; Robert Wille (Zenodo, 2023)

Dataset containing raw simulation data for a paper on decoding bosonic quantum LDPC codes. - Lucas Berent; Timo Hillmann; Jens Eisert; Robert Wille; Joschka Roffe (Zenodo, 2023)

The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing. - Robert Wille; Lucas Berent; Tobias Forster; Jagatheesan Kunasaikaran; Kevin Mato; Tom Peham; Nils Quetschlich; Damian Rovara; Aaron Sander; Ludwig Schmid; Daniel Schönberger; Yannick Stade; et al. (QSW, 2024)

Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. - Lucas Berent; Lukas Burgholzer; Peter-Jan H. S. Derks; Jens Eisert; Robert Wille (Zenodo, 2024)

Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes. - Timo Hillmann; Lucas Berent; Armanda Ottaviano Quintavalle; Jens Eisert; Robert Wille; Joschka Roffe (CoRR, 2024)

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes. - Tom Peham; Ludwig Schmid; Lucas Berent; Markus Müller; Robert Wille (CoRR, 2024)

Decoding quantum color codes with MaxSAT. - Lucas Berent; Lukas Burgholzer; Peter-Jan H. S. Derks; Jens Eisert; Robert Wille (Quantum, 2024)

Simulation results for "Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes". - Timo Hillmann; Lucas Berent; Armanda Ottaviano Quintavalle; Jens Eisert; Robert Wille; Joschka Roffe (Zenodo, 2024)

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability. - Ludwig Schmid; Tom Peham; Lucas Berent; Markus Müller; Robert Wille (DATE, 2025)

Lattice Surgery Compilation Beyond the Surface Code. - Laura S. Herzog; Lucas Berent; Aleksander Kubica; Robert Wille (CoRR, 2025)