Towards the Synthesis of Constraint Propagation Algorithms.

Douglas R. Smith

Published in: LOPSTR (1993)

Keyphrases

linear constraints
artificial intelligence
program synthesis
texture synthesis
constraint networks
real time
databases
data mining
machine learning
image processing
search algorithm
consistency constraints
constraint solving