Certifying Solutions for Numerical Constraints.

Eva Darulova, Viktor Kuncak

Browse the full RV paper archive.