ManySAT: a Parallel SAT Solver
Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs · Journal on Satisfiability Boolean Modeling and Computation · 2009
In this paper, ManySAT a new portfolio-based parallel SAT solver is thoroughly described. The design of ManySAT benefits from the main weaknesses of modern SAT solvers: their sensitivity to parameter tuning and their lack of robustness. ManySAT uses