Exploiting symmetry in SMT problems

by David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo