A time-space trade-off for constraint networks decomposition | IEEE Conference Publication | IEEE Xplore