Thread-Based Competitive Or-Parallelism.

Paulo Moura, Ricardo Rocha, Sara C. Madeira

Browse the full ICLP paper archive.