A simple min-cut algorithm.
Approximating shortest paths on a convex polytope in three dimensions.
Robust wait-free hierarchies.
Scale-sensitive dimensions, uniform convergence, and learnability.
Erratum: "Two heads are better that two tapes".
Closure properties of constraints.
Constraint tightness and looseness versus local and global consistency.