Two novel protocols for automatic distribution and solving of real DisCSPs problems | IEEE Conference Publication | IEEE Xplore