Bin covering with cardinality constraints.

Leah Epstein Csanád Imreh Asaf Levin

Published in: Discret. Appl. Math. (2013)

Keyphrases

cardinality constraints
boolean algebra
functional dependencies
quantifier elimination
datalog queries
entity relationship
constraint query languages
integrity constraints
deductive databases
database schema
closed sets
domain specific