Follow
Lucas Berent
Title
Cited by
Cited by
Year
Towards a SAT Encoding for Quantum Circuits
L Berent, L Burgholzer, R Wille
25th International Conference on Theory and Applications of Satisfiability …, 2022
26*2022
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
R Wille, L Berent, T Forster, J Kunasaikaran, K Mato, T Peham, ...
arXiv preprint arXiv:2405.17543, 2024
202024
Quantum Low-Density Parity-Check Codes for Modular Architectures
A Strikis, L Berent
PRX Quantum 4 (2), 020321, 2023
202023
Decoding quantum color codes with MaxSAT
L Berent, L Burgholzer, PJHS Derks, J Eisert, R Wille
Quantum 8, 1506, 2024
162024
Software tools for decoding quantum low-density parity-check codes
L Berent, L Burgholzer, R Wille
Proceedings of the 28th Asia and South Pacific Design Automation Conference …, 2023
142023
Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes
T Hillmann, L Berent, AO Quintavalle, J Eisert, R Wille, J Roffe
arXiv preprint arXiv:2406.18655, 2024
102024
Analog Information Decoding of Bosonic Quantum Low-Density Parity-Check Codes
L Berent, T Hillmann, J Eisert, R Wille, J Roffe
PRX Quantum 5 (2), 020349, 2024
6*2024
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
T Peham, L Schmid, L Berent, M Müller, R Wille
arXiv preprint arXiv:2408.11894, 2024
32024
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
L Schmid, T Peham, L Berent, M Müller, R Wille
arXiv preprint arXiv:2501.05527, 2025
2025
Foundations of Knowledge Graphs: Complexity of Arithmetic in Vadalog
L Berent
Wien, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–10