MENOUER Tarek

Post-Doctorant
Équipe : MoVe
Date de départ : 05/01/2017
https://lip6.fr/Tarek.Menouer

Date de départ : 05/01/2017

Publications 2017

Conférences

2017
- T. Menouer, S. Baarir : “Parallel Learning Portfolio-based solvers”, International Conference On Computational Science, vol. 108, Elsevier Procedia Computer Science, Zürich, Switzerland, pp. 335-344 (2017)
- T. Menouer, S. Baarir : “Parallel Satisfiability Solver Based on Hybrid Partitioning Method”, 25^th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, St. Petersburg, Russian Federation, pp. 54-60 (2017)