Combining Symmetry Breaking and Global Constraints

TL;DR

This paper introduces a new family of combined constraints that integrate symmetry-breaking lexicographical orderings with global constraints, along with an efficient propagator that leverages properties of these constraints.

Contribution

It presents a novel family of combined constraints and an optimized propagator that improves computational complexity by exploiting properties of the included global constraints.

Findings

Proposes a new combined constraints family for symmetry breaking.

Develops a general-purpose propagator for these constraints.

Shows how to optimize the propagator by exploiting global constraint properties.

Abstract

We propose a new family of constraints which combine together lexicographical ordering constraints for symmetry breaking with other common global constraints. We give a general purpose propagator for this family of constraints, and show how to improve its complexity by exploiting properties of the included global constraints.