Reflections on "Incremental Cardinality Constraints for MaxSAT".

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

Published in: CoRR (2019)

Keyphrases

cardinality constraints
boolean algebra
functional dependencies
upper bound
constraint query languages
entity relationship
database schema
combinatorial optimization
branch and bound algorithm
deductive databases
databases
image segmentation
conceptual model