Departament: - Enginyeria Informàtica i Disseny Digital

Centre: - Escola Politècnica Superior (EPS)

Institut d'investigació: - Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)

Domaine: Ciencia de la Computación e Inteligencia Artificial

Groupe de recherche: Logic, Optimization and Robotics(LOR)

Faisait partie de ces groupes:

Email: carlos.ansotegui@udl.cat

Docteur à l Universitat de Lleida avec la thèse Complete sat solvers for many-valued cnf formulas 2004. Dirigée par Dr/a. Felip Manyà Serres.