Vol-3716⫷ Vol-3717 ⫸Vol-3718
urn:nbn:de:0074-3717-0


Vol-3717/xpreface⫷Vol-3717/short1⫸Vol-3717/paper1

Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract)