ML Anthology
Authors
Search
About
Hofer, Matthias F. J.
1 publications
IJCAI
2019
Measuring the Likelihood of Numerical Constraints
Marco Console
,
Matthias F. J. Hofer
,
Leonid Libkin