Pages that link to "Item:Q2096432"
From MaRDI portal
The following pages link to Efficient automated reasoning about sets and multisets with cardinality constraints (Q2096432):
Displaying 6 items.
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products (Q656874) (← links)
- The expressive power of cardinality-bounded set values in object-based data models (Q672334) (← links)
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (Q2817912) (← links)
- (Q3700872) (← links)
- (Q5087785) (← links)
- Succinct ordering and aggregation constraints in algebraic array theories (Q6561348) (← links)