Publication | Closed Access
Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving
45
Citations
10
References
1998
Year
Constraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningRegulated RewritingRewriting SystemFormal MethodsComputational ComplexityRewrite SystemsComputer ScienceCombinatorial OptimizationFormal VerificationConstraint Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1