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

Fabian Reck Sebastian Fischer

Published in: GI Jahrestagung (2009)

Keyphrases

parallel search
theorem proving
databases
similar problems
real world
information retrieval
objective function