An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs.

Yow-Jian Lin, Vipin Kumar, Clement H. C. Leung

Browse the full ICLP paper archive.