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
20*2022
Quantum Low-Density Parity-Check Codes for Modular Architectures
A Strikis, L Berent
PRX Quantum 4 (2), 020321, 2023
132023
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
112023
Decoding quantum color codes with MaxSAT
L Berent, L Burgholzer, PJHS Derks, J Eisert, R Wille
arXiv preprint arXiv:2303.14237, 2023
102023
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
4*2024
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
42024
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–7