Deciding Equality Formulas by Small Domains Instantiations.

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel

Browse the full CAV paper archive.