Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver.

Bruno Andreotti, Haniel Barbosa

Browse the full VMCAI paper archive.