Deciding Equality Formulas by Small Domains Instantiations.

Amir Pnueli Yoav Rodeh Ofer Strichman Michael Siegel

Published in: CAV (1999)

Keyphrases

small number
real world
neural network
np hard