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
17*2022
Quantum Low-Density Parity-Check Codes for Modular Architectures
A Strikis, L Berent
PRX Quantum 4 (2), 020321, 2023
92023
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
92023
Decoding quantum color codes with MaxSAT
L Berent, L Burgholzer, PJHS Derks, J Eisert, R Wille
arXiv preprint arXiv:2303.14237, 2023
82023
Analog information decoding of bosonic quantum LDPC codes
L Berent, T Hillmann, J Eisert, R Wille, J Roffe
arXiv preprint arXiv:2311.01328, 2023
12023
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–6