Extending Finite Model Searching with Congruence Closure Computation.

Jian Zhang, Hantao Zhang

Browse the full AISC paper archive.