Clausal Congruence Closure.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Browse the full SAT paper archive.