Publication | Closed Access

Constraint logic programming: a survey

Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningFormal MethodsComputer ScienceConstraint Logic ProgrammingCombinatorial OptimizationFormal VerificationConstraint Programming