The Cardinality Operator: A New Logical Connective for Constraint Logic Programming.

Pascal Van Hentenryck, Yves Deville

Browse the full ICLP paper archive.