Tools for constraint satisfaction | IEEE Conference Publication | IEEE Xplore