On CSP and the Algebraic Theory of Effects

Rob J. van Glabbeek Gordon D. Plotkin

Published in: CoRR (2010)

Keyphrases

constraint satisfaction problems
algebraic geometry
computer algebra
theoretical framework
real time

linear algebra
theoretical basis
website
constraint programming
theoretical foundation

constraint propagation
computational model
np complete
general theory

mathematical theory
tree decomposition
higher order
bayesian networks