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)