Solving Optimisation Problems in the Aurora Or-parallel Prolog System

Péter Szeredi. Solving Optimisation Problems in the Aurora Or-parallel Prolog System. In Anthony Beaumont, Gopal Gupta, editors, Parallel Execution of Logic Programs, ICLP 91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings. Volume 569 of Lecture Notes in Computer Science, pages 39-53, Springer, 1991.

Possibly Related Publications

The following publications are possibly variants of this publication: