@inproceedings{GottwaldMaherShinano2017, author = {Robert Lion Gottwald and Stephen J. Maher and Yuji Shinano}, title = {Distributed Domain Propagation}, booktitle = {16th International Symposium on Experimental Algorithms (SEA 2017)}, volume = {75}, pages = {6:1 -- 6:11}, doi = {10.4230/LIPIcs.SEA.2017.6}, year = {2017}, }