Exploiting symmetry in smt problems (2011)

by D Déharbe, P Fontaine, S Merz, B W Paleo
Venue:In Proc. Int.l Conf. on Automated Deduction