VDict mobile



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)