On CSP and the Algebraic Theory of Effects
Rob J. van GlabbeekGordon D. PlotkinPublished 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