Pages that link to "Item:Q5758056"
From MaRDI portal
The following pages link to Polynomial Constraints for Sets with Cardinality Bounds (Q5758056):
Displaying 5 items.
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Multilinear sets with two monomials and cardinality constraints (Q2097167) (← links)
- On cardinality constrained polymatroids (Q2861524) (← links)
- Syllogistic Logic with “Most” (Q2947465) (← links)
- Decision Procedures for Multisets with Cardinality Constraints (Q5452719) (← links)