Proof certificates and non-linear arithmetic constraints | IEEE Conference Publication | IEEE Xplore