Symmetries in Automated Reasoning: The case of modal logics and satisfiability modulo theories
| Title | Symmetries in Automated Reasoning: The case of modal logics and satisfiability modulo theories |
| Publication Type | Thesis |
| Year of Publication | 2014 |
| Authors | Orbe, E |
| Academic Department | Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física |
| Degree | Doctor en Cs. de la Computación |
| Date Published | 02/2014 |
| University | Universidad Nacional de Córdoba |
| City | Córdoba |
| Thesis Type | PhD |
Work Package:
WP2
