Author:Baudouin Le Charlier
KeyphrasesBoolean 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. |