Baarir Souheib
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
BAARIR Souheib is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
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, Russia, pp. 54-60 (2017)
-
T. Menouer, S. Baarir : “Parallel Learning Portfolio-based solversâ€, INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Zürich, Switzerland (2017)
-
L. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “PaInleSS: a Framework for Parallel SAT Solving.â€, The 20th International Conference on Theory and Applications of Satisfiability Testing, vol. 10491, Lecture Notes in Computer Science, Melbourne, Australia (2017)
