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

AT. Agreement Technologies
From : 01-Sep-2007 to 01-Oct-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

MULOG 2. Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
From : 15-Oct-2007 to 15-Oct-2010

ONCNOSIS. Identification of biomarkers with diagnostic and therapeutic value for the neoplastic disease
From : 25-Apr-2006 to 31-Dec-2009

IEA. AUTONOMIC ELECTRONIC INSTITUTIONS
From : 01-Oct-2006 to 30-Sep-2009