[erlang-questions] Constraint satisfaction problems

[Richard O'Keefe]

I'm sure I remember a thesis about constraints for Erlang.
I think I have a copy somewhere.  I recall thinking "are
they serious?" and not reading it.