Modeling and Solving Distributed Configuration Problems: A CSP-Based Approach | IEEE Journals & Magazine | IEEE Xplore