%0 Journal Article %1 journals/tplp/GuzmanCCH11 %A de Guzmán, Pablo Chico %A Casas, Amadeo %A Carro, Manuel %A Hermenegildo, Manuel V. %D 2011 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 555-574 %T Parallel backtracking with answer memoing for independent and-parallelism. %U http://dblp.uni-trier.de/db/journals/tplp/tplp11.html#GuzmanCCH11 %V 11

@article{journals/tplp/GuzmanCCH11, added-at = {2020-02-13T00:00:00.000+0100}, author = {de Guzmán, Pablo Chico and Casas, Amadeo and Carro, Manuel and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2338cbf0a7bf63c6142f11fc25a93473f/dblp}, ee = {https://doi.org/10.1017/S1471068411000172}, interhash = {c29701d4f2942160c14bb505074cda4a}, intrahash = {338cbf0a7bf63c6142f11fc25a93473f}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {555-574}, timestamp = {2020-02-14T11:44:02.000+0100}, title = {Parallel backtracking with answer memoing for independent and-parallelism.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp11.html#GuzmanCCH11}, volume = 11, year = 2011 }