Proof certificates and non-linear arithmetic constraints.

Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Frnzle

Browse the full DDECS paper archive.