Hint-Based SMT Proof Reconstruction.

Joshua Clune, Haniel Barbosa, Jeremy Avigad

Browse the full TACAS paper archive.