MA. ALBA
CABISCOL TEIXIDO
.
Thesis
-
Encodings and Benchmarks for MaxSAT Solving 2012
Universitat de Lleida
Theses Committees (1)
-
Secretary of the Committee
Contributions to automatic configuration and selection for satisfiability 2021Universitat de Lleida
Pon Farreny, Josep