A framework for mapping constraint satisfaction problems to solution methods