%0 Journal Article %1 journals/corr/abs-2106-11246 %A Smith, Ethan %A Davis, Marc Grau %A Larson, Jeffrey M. %A Younis, Ed %A Iancu, Costin %A Lavrijsen, Wim %D 2021 %J CoRR %K dblp %T LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach. %U http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-11246 %V abs/2106.11246

@article{journals/corr/abs-2106-11246, added-at = {2021-07-01T00:00:00.000+0200}, author = {Smith, Ethan and Davis, Marc Grau and Larson, Jeffrey M. and Younis, Ed and Iancu, Costin and Lavrijsen, Wim}, biburl = {https://www.bibsonomy.org/bibtex/28e81172cb0d3d36e4735c4daf5a59e0c/dblp}, ee = {https://arxiv.org/abs/2106.11246}, interhash = {de3a83da4f74ad0c692236b9cfa4709d}, intrahash = {8e81172cb0d3d36e4735c4daf5a59e0c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:34:48.000+0200}, title = {LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-11246}, volume = {abs/2106.11246}, year = 2021 }