B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs.

G. Jack Lipovski, Manuel V. Hermenegildo

Browse the full ICPP paper archive.