Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family.

Nicolas Beldiceanu, Mats Carlsson

Browse the full ICLP paper archive.