MENOUER Tarek

Postdoc
Team : MoVe
Departure date : 01/05/2017
https://lip6.fr/Tarek.Menouer

Departure date : 01/05/2017

2017 Publications

Communications

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)