Publication | Closed Access

Global Constraint Catalogue: Past, Present and Future

Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningConstraintsGlobal Constraint CatalogueFormal MethodsComputer ScienceCombinatorial OptimizationData ModelingConstraint Programming