Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel Satisfiability.

Hantao Zhang Maria Paola Bonacina

Published in: PASCO (1994)

Keyphrases

distributed computing environment
distributed processing
search algorithm
case study
search space
distributed computing systems
np complete
distributed computing
multimedia
multi agent
cloud computing
fault tolerant
resource discovery
satisfiability testing