Buscar
Añadir filtros:
Usa los filtros para afinar la busqueda.
Resultados 1-1 de 1.
- Anterior
- 1
- Siguiente
Registros encontrados:
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) |
Opciones relacionadas
Materia
- 1 Algoritmos
- 1 inference
- 1 inferencia
- 1 inferència
- 1 max-SAT
- siguiente >
Tipo de publicación