Constraint Propagation as Information Maximization

A. Nait Abdallah M. H. van Emden

Published in: CoRR (2012)

Keyphrases

constraint propagation
quantifier elimination
databases
search algorithm
lower bound
semantic information