most citedCongruence Closure Modulo Permutation Equations

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2021★ 1 cited

Congruence Closure Modulo Permutation Equations

Dohan Kim, Christopher Lynch

We present a framework for constructing congruence closure modulo permutation equations, which extends the abstract congruence closure framework for handling permutation function s…