nondeterminism

algorithm A property of a computation which may have more

than one result.

One way to implement a nondeterministic algorithm is using

backtracking, another is to explore (all) possible solutions

in parallel.

(1995-04-13)