Linear-time filtering algorithms for the disjunctive constraint and a quadratic filtering algorithm for the cumulative not-first not-last

Hamed Fahimi, Yanick Ouellet, Claude-Guy Quimper. Linear-time filtering algorithms for the disjunctive constraint and a quadratic filtering algorithm for the cumulative not-first not-last. Constraints, 23(3):272-293, 2018. [doi]

Abstract

Abstract is missing.