Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette. Dolius: A Distributed Parallel SAT Solving Framework. In Daniel Le Berre, editor, POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria. Volume 27 of EPiC Series, pages 1-11, EasyChair, 2014. [doi]
Abstract is missing.