What we do

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.