Implementing Parallel SBS-Type Linear Solvers Using ALWAN.

Grzegorz Mysliwiec Jakub Sipowicz Helmar Burkhart

Published in: PVM/MPI (1997)

Keyphrases

parallel processing
data mining
parallel implementation
database systems
search space
scheduling problem
orders of magnitude
parallel algorithm
efficient implementation
sat solvers
linear systems
parallel computation
parallel hardware