New Conditions for Taylor Varieties and CSP.

Libor Barto Marcin Kozik

Published in: LICS (2010)

Keyphrases

constraint satisfaction problems
constraint satisfaction
sufficient conditions
artificial intelligence
tree decompositions
data sets
data mining
decision making
image processing
database systems
tree decomposition