Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Infante-López, G.  [Clear All Filters]
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.