Author:Baudouin Le Charlier

Keyphrases

Boolean calculus, congruence closure, data structure, decision procedure, equivalence problem, expression simplification, Representation of sets of equivalent terms, Simplification of expressions, term equivalence, theory of equality.