@article{Smith2021,
  doi = {10.1145/3548693},
  author = {Ethan Smith and Marc G. Davis and Jeffrey Larson and Ed Younis and Wim Lavrijsen and Costin Iancu},
  title = {{LEAP: S}caling Numerical Optimization Based Synthesis Using an Incremental Approach},
  year = {2023},
  url = {http://arxiv.org/abs/2106.11246},
  journal = {ACM Transactions on Quantum Computing},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {4},
  number = {1},
}

{"_id":"ngKfrhPhxKfEYtd88","bibbaseid":"smith-davis-larson-younis-lavrijsen-iancu-leapscalingnumericaloptimizationbasedsynthesisusinganincrementalapproach-2023","author_short":["Smith, E.","Davis, M. G.","Larson, J.","Younis, E.","Lavrijsen, W.","Iancu, C."],"bibdata":{"bibtype":"article","type":"article","doi":"10.1145/3548693","author":[{"firstnames":["Ethan"],"propositions":[],"lastnames":["Smith"],"suffixes":[]},{"firstnames":["Marc","G."],"propositions":[],"lastnames":["Davis"],"suffixes":[]},{"firstnames":["Jeffrey"],"propositions":[],"lastnames":["Larson"],"suffixes":[]},{"firstnames":["Ed"],"propositions":[],"lastnames":["Younis"],"suffixes":[]},{"firstnames":["Wim"],"propositions":[],"lastnames":["Lavrijsen"],"suffixes":[]},{"firstnames":["Costin"],"propositions":[],"lastnames":["Iancu"],"suffixes":[]}],"title":"LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach","year":"2023","url":"http://arxiv.org/abs/2106.11246","journal":"ACM Transactions on Quantum Computing","publisher":"Association for Computing Machinery","address":"New York, NY, USA","volume":"4","number":"1","bibtex":"@article{Smith2021,\n doi = {10.1145/3548693},\n author = {Ethan Smith and Marc G. Davis and Jeffrey Larson and Ed Younis and Wim Lavrijsen and Costin Iancu},\n title = {{LEAP: S}caling Numerical Optimization Based Synthesis Using an Incremental Approach},\n year = {2023},\n url = {http://arxiv.org/abs/2106.11246},\n journal = {ACM Transactions on Quantum Computing},\n publisher = {Association for Computing Machinery},\n address = {New York, NY, USA},\n volume = {4},\n number = {1},\n}\n\n","author_short":["Smith, E.","Davis, M. G.","Larson, J.","Younis, E.","Lavrijsen, W.","Iancu, C."],"key":"Smith2021","id":"Smith2021","bibbaseid":"smith-davis-larson-younis-lavrijsen-iancu-leapscalingnumericaloptimizationbasedsynthesisusinganincrementalapproach-2023","role":"author","urls":{"Paper":"http://arxiv.org/abs/2106.11246"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://raw.githubusercontent.com/jmlarson1/jmlarson1.github.io/main/jmlarson.bib","dataSources":["ntB2msdxecZaQ7Ru3"],"keywords":[],"search_terms":["leap","scaling","numerical","optimization","based","synthesis","using","incremental","approach","smith","davis","larson","younis","lavrijsen","iancu"],"title":"LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach","year":2023}