Parallel Learning Portfolio-based solvers

Tarek Menouer 1 Souheib Baarir 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Exploiting multi-core architectures is a way to tackle the CPU time consumption when solving SATisfiability (SAT) problems. Portfolio is one of the main techniques that implements this principle. It consists in making several solvers competing, on the same problem, and the winner will be the first that answers. In this work, we improved this technique by using a learning schema, namely the Exploration-Exploitation using Exponential weight (EXP3), that allows smart resource allocations. Our contribution is adapted to situations where we have to solve a bench of SAT instances issued from one or several sequence of problems. Our experiments show that our approach achieves good results in comparison with the state of the art solvers.
Type de document :
Communication dans un congrès
International Conference On Computational Science, Jun 2017, Zürich, Switzerland. Elsevier Procedia Computer Science, 2017
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01497229
Contributeur : Souheib Baarir <>
Soumis le : mardi 28 mars 2017 - 14:22:38
Dernière modification le : lundi 19 juin 2017 - 01:08:00

Identifiants

  • HAL Id : hal-01497229, version 1

Collections

Citation

Tarek Menouer, Souheib Baarir. Parallel Learning Portfolio-based solvers. International Conference On Computational Science, Jun 2017, Zürich, Switzerland. Elsevier Procedia Computer Science, 2017. 〈hal-01497229〉

Partager

Métriques

Consultations de la notice

162