Measuring the Likelihood of Numerical Constraints

Marco Console, Matthias F. J. Hofer, Leonid Libkin

IJCAI 2019 pp. 1654-1660

doi:10.24963/IJCAI.2019/229 /ijcai/2019/console2019ijcai-measuring/

Cite

Text

Console et al. "Measuring the Likelihood of Numerical Constraints." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/229

Markdown

[Console et al. "Measuring the Likelihood of Numerical Constraints." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/console2019ijcai-measuring/) doi:10.24963/IJCAI.2019/229

BibTeX

@inproceedings{console2019ijcai-measuring,
  title     = {{Measuring the Likelihood of Numerical Constraints}},
  author    = {Console, Marco and Hofer, Matthias F. J. and Libkin, Leonid},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2019},
  pages     = {1654-1660},
  doi       = {10.24963/IJCAI.2019/229},
  url       = {https://mlanthology.org/ijcai/2019/console2019ijcai-measuring/}
}