Trapping Mutual Exclusion in the Box Calculus.

Javier Esparza Glenn Bruns

Published in: Theor. Comput. Sci. (1996)

Keyphrases

mutual exclusion
long distance
temporal planning
learning rate
algebraic structure
computer algebra
np hard
general purpose
gaussian convolution