Santiago
Santiago
 
Macho-González
Macho-González

Contract Researcher
Contract Researcher


Santiago
Santiago
 
Macho-González
Macho-González
Contract Researcher
Contract Researcher

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
smacho@iiia.csic.es
smacho@iiia.csic.es
Research areas:
Impact areas:
SDGs:
2007
Santiago Macho-González,  & Pedro Meseguer (2007). Boosting MUS Extraction. W. Ruml I. Miguel (Eds.), LNAI (pp. 285-299). Springer. [BibTeX]  [PDF]
2006
Santiago Macho-González,  Carlos Ansótegui,  & Pedro Meseguer (2006). Boosting Open CSPs. Frederic Benhamou (Eds.), Lecture Notes in Computer Science (pp. 314-328). Springer. [BibTeX]  [PDF]
2005
Boi Faltings,  & Santiago Macho-González (2005). Open constraint programming. Artificial intelligence, 161, 181 - 208. [BibTeX]
Santiago Macho-González,  & Pedro Meseguer (2005). Open, interactive and dynamic CSP. Gérard Verfaillie Ken Brown (Eds.), Changes'05 International Workshop on Constraint Solving under Change and Uncertainty (pp. 13 - 17). [BibTeX]  [PDF]