Towards a parallel search for solutions of non-deterministic computations

Reck, Fabian; Fischer, Sebastian (2009): Towards a parallel search for solutions of non-deterministic computations. Informatik 2009 – Im Focus das Leben. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-248-2. pp. 366-366. Regular Research Papers. Lübeck. 28.9.-2.10.2009