Logical Constraints as Cardinality Rules: Tight Representation.

Published in: J. Comb. Optim. (2004)

Keyphrases

logical representation
lower bound
logical rules
representing knowledge
upper bound
cardinality constraints
decision rules
representation scheme
rough sets
global constraints
rule based systems
predicate calculus
derivation rules