Measuring the Likelihood of Numerical Constraints.

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

Browse the full IJCAI paper archive.