Publication | Closed Access

Using constraint metaknowledge to reduce arc consistency computation

Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningVerificationFormal MethodsComputer ScienceFormal VerificationConstraint MetaknowledgeConstraint Programming