Sign in
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