@misc{indiciae5814edd60664,
  title = {LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach},
  author = {Ethan Smith and Marc G. Davis and Jeffrey Larson and Ed Younis and Costin Iancu and Wim Lavrijsen},
  year = {2021},
  doi = {10.1145/3548693},
  url = {https://arxiv.org/abs/2106.11246},
  note = {Source identifier: 2106.11246}
}