1. Home
  2. Universitat de Lleida
  3. Departament d'Informàtica i Enginyeria Industrial
  4. Browsing Departament d'Informàtica i Enginyeria Industrial by Author

Browsing Departament d'Informàtica i Enginyeria Industrial by Author "Cabiscol i Teixidó, Alba"

Now showing items 1-1 of 1

    Encodings and Benchmarks for MaxSAT Solving 

    Cabiscol i Teixidó, Alba (Date of defense: 2012-06-22)