Searching for Mutual Exclusion Algorithms Using BDDs.

Koichi Takahashi Masami Hagiya

Published in: Progress in Discovery Science (2002)

Keyphrases

mutual exclusion
long distance
learning algorithm
significant improvement
computational cost
optimization problems
computationally efficient
orders of magnitude
data structure
theoretical analysis
benchmark datasets
temporal constraints