A propagator design framework for constraints over sequences

Publication
AAAI 2014