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: Ciencia da Computación e Intelixencia Artificial

Grupo de investigación: Logic, Optimization and Robotics(LOR)

Formou parte destes grupos:

Correo el.: carlos.ansotegui@udl.cat

Doutor pola Universitat de Lleida coa tese Complete sat solvers for many-valued cnf formulas 2004. Dirixida por Dr/a. Felip Manyà Serres.