Constraint Programming with External Worst-Case Traversal Time Analysis.

Pierre Talbot Tingting Hu Nicolas Navet

Published in: CP (2023)

Keyphrases

constraint programming
worst case
constraint satisfaction
constraint satisfaction problems
constraint propagation
lower bound
global constraints
constraint solving
combinatorial problems
constraint logic programming