Learning-Based Abstractions for Nonlinear Constraint Solving

Dathathri et al. "Learning-Based Abstractions for Nonlinear Constraint Solving." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/83

[Dathathri et al. "Learning-Based Abstractions for Nonlinear Constraint Solving." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/dathathri2017ijcai-learning/) doi:10.24963/IJCAI.2017/83

@inproceedings{dathathri2017ijcai-learning,
  title     = {{Learning-Based Abstractions for Nonlinear Constraint Solving}},
  author    = {Dathathri, Sumanth and Aréchiga, Nikos and Gao, Sicun and Murray, Richard M.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {592-599},
  doi       = {10.24963/IJCAI.2017/83},
  url       = {https://mlanthology.org/ijcai/2017/dathathri2017ijcai-learning/}
}