@inproceedings{Smith2020,
  doi = {10.48550/arXiv.2106.11246},
  url = {https://arxiv.org/abs/2106.11246},
  author = {Ethan Smith and Marc G. Davis and Jeffrey Larson and Costin Iancu},
  booktitle = {First International Workshop on Quantum Computing Software (held in conjunction with SC20)},
  title = {{LEAP: S}caling Numerical Optimization Based Synthesis Using an Incremental Approach},
  year = {2020},
}

{"_id":"6bFNd5qhYnNeQXAq2","bibbaseid":"smith-davis-larson-iancu-leapscalingnumericaloptimizationbasedsynthesisusinganincrementalapproach-2020","author_short":["Smith, E.","Davis, M. G.","Larson, J.","Iancu, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","doi":"10.48550/arXiv.2106.11246","url":"https://arxiv.org/abs/2106.11246","author":[{"firstnames":["Ethan"],"propositions":[],"lastnames":["Smith"],"suffixes":[]},{"firstnames":["Marc","G."],"propositions":[],"lastnames":["Davis"],"suffixes":[]},{"firstnames":["Jeffrey"],"propositions":[],"lastnames":["Larson"],"suffixes":[]},{"firstnames":["Costin"],"propositions":[],"lastnames":["Iancu"],"suffixes":[]}],"booktitle":"First International Workshop on Quantum Computing Software (held in conjunction with SC20)","title":"LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach","year":"2020","bibtex":"@inproceedings{Smith2020,\n doi = {10.48550/arXiv.2106.11246},\n url = {https://arxiv.org/abs/2106.11246},\n author = {Ethan Smith and Marc G. Davis and Jeffrey Larson and Costin Iancu},\n booktitle = {First International Workshop on Quantum Computing Software (held in conjunction with SC20)},\n title = {{LEAP: S}caling Numerical Optimization Based Synthesis Using an Incremental Approach},\n year = {2020},\n}\n\n","author_short":["Smith, E.","Davis, M. G.","Larson, J.","Iancu, C."],"key":"Smith2020","id":"Smith2020","bibbaseid":"smith-davis-larson-iancu-leapscalingnumericaloptimizationbasedsynthesisusinganincrementalapproach-2020","role":"author","urls":{"Paper":"https://arxiv.org/abs/2106.11246"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/jmlarson1/jmlarson1.github.io/main/jmlarson.bib","dataSources":["8n4YNKeFtqSDKiFz2","LzDJ8TAsmWgEPzrxd","ntB2msdxecZaQ7Ru3"],"keywords":[],"search_terms":["leap","scaling","numerical","optimization","based","synthesis","using","incremental","approach","smith","davis","larson","iancu"],"title":"LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach","year":2020}