Matthias Hofer

School of Informatics , University of Edinburgh

1 paper in the IJCAI proceedings

IJCAI 2019

Measuring the Likelihood of Numerical Constraints

with Marco Console, Leonid Libkin

doi:10.24963/ijcai.2019/229

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings