CARLOS J.
ANSOTEGUI GIL
CU
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)
Àrea: Ciència de la Computació i Intel·ligència Artificial
Grup d'investigació: Logic, Optimization and Robotics(LOR)
Correu: carlos.ansotegui@udl.cat
Doctor per la Universitat de Lleida amb la tesi Complete sat solvers for many-valued cnf formulas 2004. Dirigida per Dr/a. Felip Manyà Serres.