Buscar por Autor
Mostrando resultados 1 a 1 de 1
Fecha de publicación | Título | Autor(es) |
---|---|---|
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) |