Publications

Filters: Author is Ezequiel Orbe [Clear All Filters]

2015

C. Areces and E. Orbe, “Symmetric blocking”, Theoretical Computer Science, 2015.

C. Areces and E. Orbe, “Symmetries in Modal Logics”, Bulletin of Symbolic Logic, 2015.

2014

E. Orbe, “Symmetries in Automated Reasoning: The case of modal logics and satisfiability modulo theories”, 2014.

2013

C. Areces, D. Déharbe, P. Fontaine, and E. Orbe, “{SyMT}: finding symmetries in {SMT} formulas”, in 11th Intl. Workshop on Satisfiability Modulo Theories (SMT 2013), Helsinki, Finland, 2013.

2012

E. Orbe, C. Areces, and G. Infante-López, “iSat: Structure Visualization for SAT Problems”, in Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18), Merida, Venezuela, 2012.

C. Areces, G. Hoffmann, and E. Orbe, “Symmetries in Modal Logics: A Coinductive Approach”, in Proceedings of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012), Rio de Janeiro, 2012.