Publication | Closed Access

The Complexity of Equality Constraint Languages

Constraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningFormal MethodsComputational ComplexityComputer ScienceFormal VerificationEquality Constraint LanguagesConstraint Programming