Publication | Closed Access

Constraint reasoning based on interval arithmetic: the tolerance propagation approach

Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionUncertainty QuantificationAutomated ReasoningTolerance Propagation ApproachVerificationInterval AnalysisFormal MethodsInterval ComputationComputer ScienceDiscrete MathematicsCombinatorial OptimizationFormal VerificationConstraint Programming