A General Implementation Framework for Tabled CLP.

Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey

Browse the full FLOPS paper archive.