Core-Guided MaxSAT with Soft Cardinality Constraints.

António Morgado Carmine Dodaro João Marques-Silva

Published in: CP (2014)

Keyphrases

cardinality constraints
boolean algebra
functional dependencies
upper bound
constraint query languages
combinatorial optimization
entity relationship
integrity constraints
deductive databases
database schema
database
databases
high level
relational databases
database design
branch and bound algorithm