Distributed constraint satisfaction for formalizing distributed problem solving | IEEE Conference Publication | IEEE Xplore