Parallelization of Neutron Transport Solvers.

Robert Roy Zarko Stankovski

Published in: PVM/MPI (1997)

Keyphrases

parallel processing
shared memory
sat solvers
parallel execution
quantified boolean formulas
transport network
database
databases
real world
genetic algorithm
web services
data structure
combinatorial search
numerically stable