Polynomial Constraints for Sets with Cardinality Bounds

Bibliographic Details
Main Authors: Marnette, B, Kuncak, V, Rinard, M
Format: Journal article
Published: 2007