Publication | Closed Access
Integer ambiguity validation: an open problem?
126
Citations
8
References
2004
Year
Mathematical ProgrammingData ValidationEngineeringInteger OptimizationAutomated ReasoningVerificationFormal MethodsInteger Ambiguity ValidationModel VerificationFormal VerificationInteger Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1