Contributions to automatic configuration and selection for satisfiability 

Pon Farreny, Josep (Date of defense: 2021-07-16)

En l’àrea de les ciències de la computació, és sabut que els algoritmes poden exhibir comportaments completament diferents depenent de com estiguin configurats els seus paràmetres, fet que s’aguditza quan els problemes que ...