Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary: A Distributed Version of Syrup. SAT 2017: 215-232