Publications

Export (2) results:[Tagged][XML][BibTex]

Sort by:[Year][Title][Type][Author]

Filters: author is Areces [Clear All Filters]

2011

Orbe, E., Areces, C., Infante-Lopez, G., "iSat: Structure Visualization for SAT Problems", LPAR-18, 2011 . Tagged XML BibTex

2003

Infante-Lopez, G., Areces, C., de Rijke, M., "Controlled model exploration", Advances in Modal Logic, Volume 4: King's College London Publications, pp. 205-220, 2003 . Abstract Tagged XML BibTex