CARLOS J.
ANSOTEGUI GIL
CU
Departamento: - Enginyeria Informàtica i Disseny Digital
Centro: - Escola Politècnica Superior (EPS)
Instituto de investigación: - Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Área: Ciencia de la Computación e Inteligencia Artificial
Grupo de investigación: Logic, Optimization and Robotics(LOR)
Email: carlos.ansotegui@udl.cat
Doctor por la Universitat de Lleida con la tesis Complete sat solvers for many-valued cnf formulas 2004. Dirigida por Dr/a. Felip Manyà Serres.