Publications

Export 2 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Last Name is O  [Clear All Filters]
A B C D E F G H I J K L M N [O] P Q R S T U V W X Y Z   [Show ALL]
O
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.
E. Orbe, “Symmetries in Automated Reasoning: The case of modal logics and satisfiability modulo theories”, 2014.