Transfer Function Synthesis without Quantifier Elimination.

Jörg Brauer Andy King

Published in: ESOP (2011)

Keyphrases

transfer function
quantifier elimination
constraint propagation
presburger arithmetic
functional programming
first order logic
cardinality constraints
image enhancement
constraint databases
contrast enhancement
neural network
machine learning
artificial intelligence
expressive power
constraint satisfaction