MENOUER Tarek
2017 Publications
-
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”, 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, St. Petersburg, Russian Federation, pp. 54-60 (2017)