Small proofs from congruence closure
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2022)
Pages 75-–83
2022
Note(s): egraphs
Pages 75-–83
2022
Note(s): egraphs