Soeken M Meuli G Schmitt B Mozafari F Riener H De Micheli G 2020 Quantum compilation is the task of translating a quantum algorithm implemented in a high-level quantum programming language into a technology-dependent instructions flow for a physical quantum computer. To tackle the large gap between the quantum program and the low-level instructions, quantum compilation is split into a multi-stage flow consisting of several layers of abstraction. Several different individual tasks have been proposed for the layers in the flow, many of them are NP-hard. In this article, we will describe the flow and we will propose algorithms based on Boolean satisfiability, which is a good match to tackle such computationally complex problems. This article is part of the theme issue 'Harmonizing energy-autonomous computing and intelligence'. application/pdf https://sonar.ch/global/documents/294696 eng info:eu-repo/semantics/altIdentifier/doi/10.1098/rsta.2019.0161 info:eu-repo/semantics/altIdentifier/pmid/31865887 info:eu-repo/semantics/openAccess Philosophical transactions. Series A, Mathematical, physical, and engineering sciences. - 2020 Boolean satisfiability logic synthesis quantum compilation quantum computing quantum programming languages Boolean satisfiability in quantum compilation. http://purl.org/coar/resource_type/c_6501