Return to Issue Details Synthesis of quantum circuits based on incompletely specified functions and if-decision diagrams Download Download PDF