DOE OSTI2013A Length-Optimal Algorithm for Quantum Compilation.Abstract not provided.Debenedictis, Erik↗