Graph-theoretical aspects of constraint solving in the SST project