Constraint Programming with External Worst-Case Traversal Time Analysis.

Pierre Talbot, Tingting Hu, Nicolas Navet

Browse the full CP paper archive.