Cerca
Afegir filtres:
Fes servir filtres per afinar els resultats de la cerca.
Resultats 1-1 de 1.
- anterior
- 1
- següent
Registres trobats:
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) |
Opcions relacionades
Matèria
- 1 Algorismes
- 1 inference
- 1 inferencia
- 1 inferència
Data de publicació
- 1 2010
Tipus de publicació
- 1 Article