| Symmetries in modal logics C Areces, E Orbe Bulletin of Symbolic Logic 21 (4), 373-401, 2015 | 7 | 2015 |
| SyMT: finding symmetries in SMT formulas C Areces, D Déharbe, P Fontaine, E Orbe SMT Workshop 2013 11th International Workshop on Satisfiability Modulo Theories, 2013 | 7 | 2013 |
| Symmetric blocking C Areces, E Orbe Theoretical Computer Science 606, 25-41, 2015 | 4 | 2015 |
| isat: structure visualization for SAT problems E Orbe, C Areces, G Infante-López Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 4 | 2012 |
| Dealing with symmetries in modal tableaux C Areces, E Orbe International Conference on Automated Reasoning with Analytic Tableaux and …, 2013 | 2 | 2013 |
| Symmetries in modal logics: A coinductive approach C Areces, G Hoffmann, E Orbe Proc. of the 7th Workshop on Logical and Semantic Frameworks, with …, 2012 | 2 | 2012 |
| A note about modal symmetries E Orbe, C Areces, G Infante-López Technical Report, FaMAF, UNC. Available at http://www. famaf. unc. edu. ar …, 2012 | 2 | 2012 |
| Deliverable no.: 2.1/3 Title of Deliverable: Symmetries in Modal Logics C Areces, E Orbe | | 2015 |
| Deliverable no.: 2.2/1 Title of Deliverable: SyMT: finding symmetries in SMT formulas C Areces, D Déharbe, P Fontaine, E Orbe | | 2013 |
| SyMT: symmetries for SMT C Areces, D Déharbe, P Fontaine, E Orbe | | |
