Proof certificates and non-linear arithmetic constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Stefan Kupferschmid' in GoogleThis author has not been identified. Look up 'Bernd Becker' in GoogleThis author has not been identified. Look up 'Tino Teige' in GoogleThis author has not been identified. Look up 'Martin Fränzle' in Google

runs on WebDSL