Polynomial Constraints for Sets with Cardinality Bounds.

Bruno Marnette, Viktor Kuncak, Martin C. Rinard

Browse the full FOSSACS paper archive.