Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial
SAT; MaxSAT; Codificacions; CSP; Benchmarks; Encodings; Codificaciones
004 - Computer science and technology. Computing. Data processing
Ciència de la Computació i Inteligència Artificial