Department: - Enginyeria Informàtica i Disseny Digital

Center: - Escola Politècnica Superior (EPS)

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

Area: Computer Science and Artificial Intelligence

Research group: Logic, Optimization and Robotics(LOR)

Groups history:

Email: carlos.ansotegui@udl.cat

Doctor by the Universitat de Lleida with the thesis Complete sat solvers for many-valued cnf formulas 2004. Supervised by Dr. Felip Manyà Serres.