MA. ALBA
CABISCOL TEIXIDO
TU
Tesi doctoral
-
Encodings and Benchmarks for MaxSAT Solving 2012
Universitat de Lleida
Tribunals de tesi (1)
-
Secretària del tribunal
Contributions to automatic configuration and selection for satisfiability 2021Universitat de Lleida
PON FARRENY, JOSEP