TORRES MONTIEL, EDUARD
Docència
| Ensenyament | Curs | Assignatura |
|---|---|---|
| PARS Enginyeria Informàtica | 1 | LÒGICA COMPUTACIONAL |
| Grau en Enginyeria Informàtica - UdL | 1 | LÒGICA COMPUTACIONAL |
| Doble titulació: Grau en Eng.Informàtica i Grau en Admin.Direcció Empreses | 1 | LÒGICA COMPUTACIONAL |
| Grau en Enginyeria Informàtica - UdL | 2 | ALGORÍTMICA I COMPLEXITAT |
| Grau en Tècniques d'Interacció Digital i de Computació - UdL | 3 | PROJECTE WEB |
Recerca
Grup de recerca: Logic, Optimization and Robotics(LOR)
| Projectes de recerca | Data inici | Data fi | Investigadors principals |
|---|---|---|---|
| TASSAT 2: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones | 01/01/2014 | 30/06/2017 | CARLOS J. ANSOTEGUI GIL |
| Satisfactibilidad y Optimización con Certificados de Prueba más allá de Resolución - Aplicaciones (PROOFS BEYOND-A) | 01/09/2023 | 31/08/2026 | CARLOS J. ANSOTEGUI GIL, JORGE LEVY DÍAZ |
| Sistemas de Demostración Prácticos Mas Allá de Resolución. | 01/06/2020 | 29/02/2024 | CARLOS J. ANSOTEGUI GIL, JORGE LEVY DÍAZ |