Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking.

Nikos Drakos

Browse the full IJCAI paper archive.