Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Parallel backtracking with answer memoing for independent and-parallelism
ICLP, 2011.
@article{ICLP-J-2011-GuzmanCCH,
author = "Pablo Chico de Guzmán and Amadeo Casas and Manuel Carro and Manuel V. Hermenegildo",
doi = "10.1017/S1471068411000172",
journal = "{Theory and Practice of Logic Programming}",
number = "4-5",
pages = "555--574",
title = "{Parallel backtracking with answer memoing for independent and-parallelism}",
volume = 11,
year = 2011,
}











