Publication | Closed Access

An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

Mathematical ProgrammingConstraint SolvingGlobal ConstraintsEngineeringConstraint SatisfactionGeometric Constraint SolvingUncertainty QuantificationFormal MethodsConstrained OptimizationComputer ScienceConstraint ProgrammingCombinatorial OptimizationComputational GeometryNegative Table ConstraintsOperations Research