You are here: Home Decision Procedures … Slides Quantifier-free Theory of Equality

Quantifier-free Theory of Equality

Theory of Equality, Congruence closure algorithm, Theory of Lists