MA. ALBA
CABISCOL TEIXIDO
TU
Tesis doctoral
-
Encodings and Benchmarks for MaxSAT Solving 2012
Universitat de Lleida
Tribunales de tesis (1)
-
Secretaria del tribunal
Contributions to automatic configuration and selection for satisfiability 2021Universitat de Lleida
PON FARRENY, JOSEP