Proof logging for computer algebra based SMT solving.

Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer

Browse the full ICCAD paper archive.