BESS

I implements a BESS approach referred to as Bandit Ensemble for parallel SAT Solving. This approach is implemented and tested on top of the ManySAT parallel SAT solver which won the parallel track of the 2008 SAT-Race. ManySAT uses a portfolio philosophy which lets several sequential CDCLs.

 

Download:

BESS1.0.zip

References:

• Cooperationcontrol in Parallel SAT Solving: a Multi-armed Bandit Approach. In Proc. of the NIPS 2012 Workshop on Bayesian Optimization & Decision Making, Dec. 2012, Nevada (USA). [paper][poster][slides]
• BESS: Bandit Ensemble for parallel SAT Solving. INRIA tech. report hal-00733282. [paper]