-
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach
In recent years, Parallel SAT solvers have leveraged with the so called Parallel Portfolio architecture. In this setting, a collection of independent Conflict-Directed... -
Lower bounds and selectivity of weak-consistent policies in stochastic multi-...
International audience
