Linia Centre/s Inici Fi Resolució de problemes combinatoris i d'optimització fent servir Satsifactibiliat Booleana (SAT), MaxSAT, i Satisfactibilitat Mòdul Teories (SMT)-_-Resolucion de problemas combinatorios y de optimización usando Satisfactibilidad Booleana (SAT), MaxSAT y Satisfactibilidad Modulo Teorias (SMT)-_-Hard combinatorial and optimization problem solving using Boolean Satisfiability (SAT), MaxSAT and Satisfiability Modulo Theories (SMT) Universitat de Girona // Resolució de problemes de Satsifactibilitat Booleana (SAT), i MaxSAT.-_-Resolución de problemas de Satsifactibilidad Booleana (SAT), y MaxSAT.-_-Boolean Satisfiability (SAT) and MaxSAT solving. Universitat de Girona, Aix-Marseille Université, Institut d'investigació en Intel·ligència Artificial (CSIC) //