User: Guest  Login

Document type:
Konferenzbeitrag
Author(s):
Berent, L.; Burgholzer, L.; Wille, R.
Title:
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond
Book / Congress title:
International Conference on Theory and Applications of Satisfiability Testing (SAT)
Year:
2022
 BibTeX