Towards a Parallel Search for Solutions of Non-deterministic Computations.

Fabian Reck, Sebastian Fischer

Browse the full GI paper archive.