Ezequiel Orbe

According to our database, Ezequiel Orbe authored at least 5 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Symmetric blocking.

Carlos Areces, Ezequiel Orbe

Theor. Comput. Sci., 2015

Symmetries in Modal Logics.

Carlos Areces, Ezequiel Orbe

Bull. Symb. Log., 2015

2013

Dealing with Symmetries in Modal Tableaux.

Carlos Areces, Ezequiel Orbe

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012

Symmetries in Modal Logics

Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

iSat: Structure Visualization for SAT Problems.

Ezequiel Orbe, Carlos Areces, Gabriel G. Infante López

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012