Formal constraint-based compilation for noisy intermediate-scale quantum systemsPrakash MuraliAli Javadi-Abhariet al.2019Microprocessors and Microsystems
ScaffCC: Scalable compilation and analysis of quantum programsAli JavadiAbhariShruti Patilet al.2015Parallel Computing