Towards a SAT encoding for quantum circuits: a journey from classical circuits to Clifford circuits and beyond
From MaRDI portal
Publication:6572032
DOI10.4230/LIPICS.SAT.2022.18MaRDI QIDQ6572032FDOQ6572032
Lucas Berent, Robert Wille, Lukas Burgholzer
Publication date: 12 July 2024
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)
This page was built for publication: Towards a SAT encoding for quantum circuits: a journey from classical circuits to Clifford circuits and beyond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572032)
