Arc-Consistency for a Chain of Lexicographic Ordering Constraints
Mats Carlsson, Nicolas Beldiceanu · 2002
Abstract. We present an arc-consistency algorithm for a chain of lexicographic ordering constraints on vectors of variables each. The algorithm maintains arc-consistency and runs in time per invocation, where is the cost of certain domain operations.