Login / Signup
Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract).
Bruno Andreotti
Haniel Barbosa
Oliver Flatt
Published in:
PAAR+SC²@IJCAR (2024)
Keyphrases
</>
extended abstract
theorem prover
high quality
theorem proving
statistical machine translation
mathematical proofs
information retrieval
information systems
decision procedures
word alignment
natural deduction
formal proofs
equational theories