Parallel backtracking with answer memoing for independent and-parallelism

Detalles Bibliográficos
Autores: Chico de Guzmán, Pablo, Casas, Amadeo, Carro Liñares, Manuel|||0000-0001-5199-3135, Hermenegildo, Manuel V.|||0000-0002-7583-323X
Tipo de recurso: artículo
Fecha de publicación:2011
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:4737
Acceso en línea:https://oa.upm.es/4737/
Access Level:acceso abierto
Palabra clave:Parallelism
Logic programming
Memoization
Backtracking
Performance
Programación lógica
Algoritmos
rendimiento
Descripción
Descripción no disponible.