Export: B-LOG: A branch and bound methodology for the parallel execution of logic programs
Lipovski, Gerald John and Hermenegildo, Manuel V. (1985). B-LOG: A branch and bound methodology for the parallel execution of logic programs. In: "International Conference on Parallel Processing (ICPP '85)", August 1985, University Park, PA, USA.
Please select an output format:
