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

Nicolas Beldiceanu Mats Carlsson

Published in: ICLP (2001)

Keyphrases

cardinality constraints
special case
shortest path
data sets
objective function
artificial intelligence
search engine
image processing
website
optical flow
constraint solving