conference paper

Polynomial Constraints for Sets with Cardinality Bounds

Marnette, Bruno
•
Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2007
Foundations of Software Science and Computation Structures (FOSSACS)
Loading...
Thumbnail Image
Name

MarnetteETAL07PolynomialConstraintsSetsCardinalityBounds.pdf

Access type

openaccess

Size

149.4 KB

Format

Adobe PDF

Checksum (MD5)

9126821a8af3e4c6723a303d34962f67