2410 search results - page 2 / 482 » Multiset Ordering Constraints |
113
Voted
TCS
1998
15 years 24 days ago
1998
We introduce a new constraint domain, aggregation constraints, that is useful in database query languages, and in constraint logic programming languages that incorporate aggregate...
100
Voted
CP
2004
Springer
15 years 6 months ago
2004
Springer
We have started a systematic study of global constraints on set and multiset variables. We consider here disjoint, partition, and intersection constraints in conjunction with cardi...
CP
2003
Springer
15 years 6 months ago
2003
Springer
90
Voted
PLILP
1998
Springer
15 years 5 months ago
1998
Springer
103
Voted
CADE
2010
Springer
15 years 2 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...