Follow
Ezequiel Orbe
Title
Cited by
Cited by
Year
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
72013
Symmetries in modal logics
C Areces, E Orbe
Bulletin of Symbolic Logic 21 (4), 373-401, 2015
62015
Symmetric blocking
C Areces, E Orbe
Theoretical Computer Science 606, 25-41, 2015
42015
isat: structure visualization for SAT problems
E Orbe, C Areces, G Infante-López
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
42012
Dealing with symmetries in modal tableaux
C Areces, E Orbe
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
22013
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
22012
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
22012
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
The system can't perform the operation now. Try again later.
Articles 1–10