Login / Signup
The Advantages of Multiple Parallelizations in Combinatorial Search.
Lawrence A. Crowl
Mark Crovella
Thomas J. LeBlanc
Michael L. Scott
Published in:
J. Parallel Distributed Comput. (1994)
Keyphrases
</>
combinatorial search
data parallelism
search space
theorem proving
search algorithm
combinatorial problems
search problems
subgraph isomorphism
combinatorial optimization
search strategy
constraint solver
pairwise