Incremental Encoding and Solving of Cardinality Constraints.

Sven Reimer Matthias Sauer Tobias Schubert Bernd Becker

Published in: ATVA (2014)

Keyphrases

cardinality constraints
boolean algebra
functional dependencies
entity relationship
constraint query languages
domain specific
integrity constraints
information systems
image segmentation
expressive power
user defined
combinatorial optimization
deductive databases
integer program