Model Expansion in the Presence of Function Symbols Using Constraint Programming.

Broes De Cat Bart Bogaerts Jo Devriendt Marc Denecker

Published in: ICTAI (2013)

Keyphrases

constraint programming
objective function
constraint satisfaction
constraint propagation
hard and soft constraints
databases
integrity constraints
normal form