Incremental Cardinality Constraints for MaxSAT.

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

Published in: CP (2014)

Keyphrases

cardinality constraints
boolean algebra
upper bound
functional dependencies
entity relationship
combinatorial optimization
database schema
branch and bound algorithm
constraint query languages
database
object oriented
deductive databases
closed sets
lower bound
relational databases
branch and bound