Incremental Cardinality Constraints for MaxSAT.

Ruben Martins Saurabh Joshi Vasco M. Manquinho Inês Lynce

Published in: CoRR (2014)

Keyphrases

cardinality constraints
boolean algebra
functional dependencies
entity relationship
upper bound
integrity constraints
constraint query languages
deductive databases
database schema
lower bound
branch and bound algorithm
inference rules