A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers

von Nejati, Saeed
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

On the Usefulness of Clause Strengthening in Parallel SAT Solving

von Vallade, Vincent
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving

von Vallade, Vincent
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)