ManySAT: a Parallel SAT Solver 论文
2009Journal on Satisfiability Boolean Modeling and Computation引用 313
Advanced Software Engineering MethodologiesFormal Methods in VerificationConstraint Satisfaction and Optimization
摘要
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