Lucas Berent

14 papers A 2Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability.
DATE
Ludwig Schmid, Tom Peham, Lucas Berent, Markus Müller, Robert Wille
2025 J jnl
Exploiting Movable Logical Qubits for Lattice Surgery Compilation.
CoRR
Laura S. Herzog, Lucas Berent, Aleksander Kubica, Robert Wille
2025 J jnl
Lattice Surgery Compilation Beyond the Surface Code.
CoRR
Laura S. Herzog, Lucas Berent, Aleksander Kubica, Robert Wille
2024 J jnl
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes.
CoRR
Tom Peham, Ludwig Schmid, Lucas Berent, Markus Müller, Robert Wille
2024 J jnl
Decoding quantum color codes with MaxSAT.
Quantum
Lucas Berent, Lukas Burgholzer, Peter-Jan H. S. Derks, Jens Eisert, Robert Wille
2024 J jnl
Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes.
CoRR
Timo Hillmann, Lucas Berent, Armanda Ottaviano Quintavalle, Jens Eisert, Robert Wille, Joschka Roffe
2024 — conf
The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing.
QSW
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, Lukas Burgholzer
2024 J jnl
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing.
CoRR
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, Lukas Burgholzer
2023 J jnl
Analog information decoding of bosonic quantum LDPC codes.
CoRR
Lucas Berent, Timo Hillmann, Jens Eisert, Robert Wille, Joschka Roffe
2023 — conf
Software Tools for Decoding Quantum Low-Density Parity-Check Codes.
ASP-DAC
Lucas Berent, Lukas Burgholzer, Robert Wille
2022 J jnl
Complexity of Arithmetic in Warded Datalog+-.
CoRR
Lucas Berent, Markus Nissl, Emanuel Sallinger
2022 J jnl
Software Tools for Decoding Quantum Low-Density Parity Check Codes.
CoRR
Lucas Berent, Lukas Burgholzer, Robert Wille
2022 A conf
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond.
SAT
Lucas Berent, Lukas Burgholzer, Robert Wille
2022 J jnl
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond.
CoRR
Lucas Berent, Lukas Burgholzer, Robert Wille