Highly Influential

@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} }

- Published 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

### Presentations referencing similar topics