research
∙
03/23/2023
Equational Theorem Proving for Clauses over Strings
Although reasoning about equations over strings has been extensively stu...
share
research
∙
09/07/2021
Congruence Closure Modulo Permutation Equations
We present a framework for constructing congruence closure modulo permut...
research
∙
07/10/2011
