Polynomial Constraints for Sets with Cardinality Bounds

Marnette, BrunoKuncak, ViktorRinard, Martin2007-08-212007-08-212007-08-212007https://infoscience.epfl.ch/handle/20.500.14299/10404Polynomial Constraints for Sets with Cardinality Boundstext::conference output::conference proceedings::conference paper