Exploiting Different Strategies for the Parallelization of an SMT Solver.

Natalia Kalinnik Erika Ábrahám Tobias Schubert Ralf Wimmer Bernd Becker

Published in: MBMV (2010)

Keyphrases

neural network
parallel processing
selection strategies
online auctions
real world
search strategies
machine learning
information systems
multiscale
search algorithm
shared memory
optimal strategy
parallel implementations