Modeling OR-Parallel Execution of Prolog using CHOCS.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone

Browse the full ICLP paper archive.