Projects Summary
Fèlix Bou projects
Current projects
TASSAT. TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
From : 01-Jan-2011 to 31-Dec-2013

Past projects
LOCOMOTION . Logics for combining models of reasoning under imperfect information
From : 01-Feb-2009 to 31-Jan-2012