Publication | Closed Access

An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint

Mathematical ProgrammingData ConsistencyConstraint SolvingEngineeringConstraint SatisfactionGlobal Cardinality ConstraintConsistency TechnologyVerificationFormal MethodsComputational ComplexityComputer ScienceDiscrete MathematicsCombinatorial OptimizationFormal VerificationConstraint Programming