%0 Journal Article
%T Boolean satisfiability in quantum compilation
%A Bruno Schmitt
%A Fereshte Mozafari
%A Giovanni De Micheli
%A Giulia Meuli
%A Heinz Riener
%A Mathias Soeken
%J -
%D 2020
%R 10.1098/rsta.2019.0161
%X 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 comp..
%U https://royalsocietypublishing.org/doi/10.1098/rsta.2019.0161