Projects Summary
Tommaso Flaminio projects
Current projects
EdeTRI. Study and development of technologies for the efficient resolution of reasoning problems with incomplete information
From : 01-Jan-2013 to 31-Dec-2015

MaToMUVI. Mathematical Tools for Managing Uncertain and Vague Information (Main researcher)
From : 15-Mar-2011 to 14-Apr-2014

TASSAT. TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
From : 01-Jan-2011 to 31-Dec-2013

Past projects
ARINF. Efficient automated reasoning systems with incomplete and imprecise information based on SAT and CSP
From : 01-Jan-2010 to 31-Dec-2012