Flow-Based Propagators for the SEQUENCE and Related Global Constraints 1

@inproceedings{Maher2011FlowBasedPF,
  title={Flow-Based Propagators for the SEQUENCE and Related Global Constraints 1},
  author={Michael Maher and Nina Narodytska and Claude-Guy Quimper and Toby Walsh},
  year={2011}
}
We propose new filtering algorithms for the SEQUENCE constraint and several extensions which are based on network flows. Our propagator for the SEQUENCE constraint enforces domain consistency in O(n) time down a branch of the search tree. This improves upon the best existing domain consistency algorithm by a factor of O(log n). The flows used in these algorithms are derived from a linear program. Some of them differ from the flows used to propagate global constraints like GCC since the domains… CONTINUE READING