Arc-Consistency for a Chain of Lexicographic Ordering Constraints

Abstract

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.