Prati
Ezequiel Orbe
Ezequiel Orbe
Potvrđena adresa e-pošte na famaf.unc.edu.ar
Naslov
Citirano
Citirano
Godina
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
62013
Symmetries in modal logics
C Areces, E Orbe
Bulletin of Symbolic Logic 21 (4), 373-401, 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
Symmetric blocking
C Areces, E Orbe
Theoretical Computer Science 606, 25-41, 2015
32015
Dealing with symmetries in modal tableaux
C Areces, E Orbe
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–10