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, }