Transfer Function Synthesis without Quantifier Elimination

Jörg Brauer Andy King

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

transfer function
quantifier elimination
constraint propagation
functional programming
presburger arithmetic
first order logic
constraint databases
cardinality constraints
image enhancement
contrast enhancement
image segmentation
artificial intelligence
search space
machine learning
image analysis