2410 search results - page 2 / 482 » Multiset Ordering Constraints |
TCS
1998
13 years 4 months 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...
CP
2004
Springer
13 years 10 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
13 years 10 months ago
2003
Springer
PLILP
1998
Springer
13 years 9 months ago
1998
Springer
CADE
2010
Springer
13 years 6 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...