Volume: Vol-3717 PAAR+SC-Square 2024 | Year: 2024

Paper: « xpreface | short1 | paper1 »

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

• Oliver Flatt dblp
• Bruno Andreotti dblp
• Haniel Barbosa ORCID dblp

1-9 PDF