Polynomial Constraints for Sets with Cardinality Bounds
Main Authors: | Marnette, B, Kuncak, V, Rinard, M |
---|---|
Format: | Journal article |
Published: |
2007
|
Similar Items
-
On Algorithms and Complexity for Sets with Cardinality Constraints
by: Marnette, Bruno, et al.
Published: (2005) -
Cardinality of sets associated to certain degree seven polynomials
by: Lasaraiya, Suriana, et al.
Published: (2015) -
Reasoning with Finite Sets and Cardinality Constraints in SMT
by: Kshitij Bansal, et al.
Published: (2018-11-01) -
On the cardinality of twelfth degree polynomial
by: Lasaraiya, Suriana, et al.
Published: (2016) -
On The Boolean Algebra of Shape Analysis Constraints
by: Kuncak, Viktor, et al.
Published: (2005)