MPI Parallel Implementation of a Fast Separable Solver.

Gergana Bencheva

Published in: LSSC (2001)

Keyphrases

parallel implementation
message passing interface
parallel computers

parallel implementations
parallel computation
distributed memory

constraint solving
embedded processors
parallel architecture

quantified boolean formulas
search algorithm