Making Exhaustive Search Programs Deterministic, Part II.

Kazunori Ueda

Browse the full ICLP paper archive.