Skip to main content

Polynomial Constraints for Sets with Cardinality Bounds

Bruno Marnette‚ Viktor Kuncak and Martin Rinard

Journal
FoSSaCS
Year
2007