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)

Bereich: Informatik und künstliche Intelligenz

Forschungsgruppe: Logic, Optimization and Robotics(LOR)

War teil dieser gruppen:

Email: carlos.ansotegui@udl.cat

Doktor von der Universitat de Lleida mit der Dissertation Complete sat solvers for many-valued cnf formulas 2004. unter der Leitung von Dr. Felip Manyà Serres.