Publication | Closed Access

A new methodology for formulating ill-structured problems

Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningFormal MethodsComputational ComplexityProblem InstanceNew MethodologyDiscrete MathematicsCombinatorial Optimization