Ezequiel Orbe

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Symmetry Breaking

Functional Dependencies

Top Venues

Bull. Symb. Log.

Publications

Carlos Areces, Ezequiel Orbe
Symmetric blocking. Theor. Comput. Sci. 606 (2015)
Carlos Areces, Ezequiel Orbe
Symmetries in Modal Logics. Bull. Symb. Log. 21 (4) (2015)
Carlos Areces, Ezequiel Orbe
Dealing with Symmetries in Modal Tableaux. TABLEAUX (2013)
Ezequiel Orbe, Carlos Areces, Gabriel G. Infante López
iSat: Structure Visualization for SAT Problems. LPAR (2012)
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
Symmetries in Modal Logics LSFA (2012)