Cerca per Autor
Mostrant resultats 1 a 1 de 1
Data de publicació | Títol | Autor(s) |
---|---|---|
2010-11-01 | The impact of Max-SAT resolution-based preprocessors on local search solvers | Heras, Federico; Baneres, David; University College Dublin; Universitat Oberta de Catalunya (UOC) |