Publication | Closed Access
Reformulation of Global Constraints Based on Constraints Checkers
31
Citations
12
References
2005
Year
Mathematical ProgrammingConstraint SolvingGlobal ConstraintsEngineeringConstraint SatisfactionVerificationFormal MethodsSystems EngineeringFormal VerificationConstraint Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1