Dataset - CKAN

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...
- HTML

You can also access this registry using the API (see API Docs).