A knowledge plane for the internet
algorithms for constraint - satisfaction problems : a survey .