Resizing cardinality constraints for MaxSAT.

Eivind Jahren Roberto Javier Asín Achá

Published in: AI Commun. (2018)

Keyphrases

cardinality constraints
upper bound
boolean algebra
functional dependencies
combinatorial optimization
branch and bound algorithm
entity relationship
database schema
integrity constraints
deductive databases
constraint query languages
image reconstruction
search algorithm
data model
modal logic