Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary. A Distributed Version of Syrup.
20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17), 2017, Melbourne, Australia. pp.215-232.
⟨hal-03299477⟩