research
∙
09/02/2022
Software Tools for Decoding Quantum Low-Density Parity Check Codes
Quantum Error Correction (QEC) is an essential field of research towards...
research
∙
03/01/2022
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond
Satisfiability Testing (SAT) techniques are well-established in classica...
research
∙
02/10/2022