Publication | Closed Access
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison
260
Citations
28
References
1999
Year
Programming Language TheoryFormal SpecificationEngineeringAutomated ReasoningAbstract InterpretationFormal MethodsComputer ScienceSemiring-based CspsFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1