Diversifying a Parallel SAT Solver with Bayesian Moment Matching.

Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh

Browse the full SETTA paper archive.