Complexity of finite-horizon Markov decision process problems.
A needed narrowing strategy.
Speed is as powerful as clairvoyance.
Divide-and-conquer approximation algorithms via spreading metrics.
Orthologic and quantum logic: models and computational elements.
Balanced sequences and optimal routing.
Relational queries over interpreted structures.