Our group brings together researchers from Universitat de Lleida (UdL) and Universitat Politècnica de Catalunya (UPC). We focus on the design of efficient solving techniques for industrial combinatorial optimization and machine learning problems, and on the design of automatic configuration and selection techniques for a wide range of applications. On the more theoretical side, we work on computational complexity, proof complexity and complex networks analysis.
Universitat de Lleida & Universitat Politècnica de Catalunya