Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle. Proof certificates and non-linear arithmetic constraints. In Rolf Kraemer, Adam Pawlak, Andreas Steininger, Mario Schölzel, Jaan Raik, Heinrich Theodor Vierhaus, editors, 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2011, Cottbus, Germany, April 13-15, 2011. pages 429-434, IEEE, 2011. [doi]
Abstract is missing.