{SyMT}: finding symmetries in {SMT} formulas
| Title | {SyMT}: finding symmetries in {SMT} formulas |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Areces, C, Déharbe, D, Fontaine, P, Orbe, E |
| Editor | Bruttomesso, R, Griggio, A |
| Conference Name | 11th Intl. Workshop on Satisfiability Modulo Theories (SMT 2013) |
| Conference Location | Helsinki, Finland |
Work Package:
WP2
