Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary. An Adaptive Parallel SAT Solver. In Michel Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Volume 9892 of Lecture Notes in Computer Science, pages 30-48, Springer, 2016. [doi]
Abstract is missing.