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)
Type
conference paper
Author(s)
Marnette, Bruno
Kuncak, Viktor  orcid-logo
Rinard, Martin
Date Issued

2007

Published in
Foundations of Software Science and Computation Structures (FOSSACS)
Written at

OTHER

EPFL units
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10404