Publication | Closed Access

Theory and practice of constraint handling rules

Constraint SolvingEngineeringAutomated ReasoningRule LanguageConstraintsFormal MethodsConstraint Handling RulesComputer ScienceFormal VerificationRegulationConstraint Programming