Benutzer: Gast  Login

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Berent, L.; Burgholzer, L.; Wille, R.
Titel:
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond
Kongress- / Buchtitel:
International Conference on Theory and Applications of Satisfiability Testing (SAT)
Jahr:
2022
 BibTeX