On Tractability and Congruence Distributivity.

Emil W. Kiss Matthew Valeriote

Published in: LICS (2006)

Keyphrases

computational complexity
np complete
socio technical
constraint satisfaction
data structure
databases
machine learning
artificial intelligence
artificial neural networks