Souheib Baarir
From LRDE
Revision as of 11:07, 18 September 2017 by Clément Démoulins (talk | contribs) (Created page with "== Publications == {{Publications/AuthorList|Souheib Baarir}}")
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Publications
Conference papers
Title | Authors | Published in | Date | |
---|---|---|---|---|
Xu.23.sac | Optimization of the Product Configuration System of Renault | Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah | SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing | 3 April 2023 |
kheireddine.22.apsec | Tuning SAT Solvers for LTL Model Checking | Anissa Kheireddine, Étienne Renault, Souheib Baarir | Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) | 9 December 2022 |
kheireddine.21.cp | Towards Better Heuristics for Solving Bounded Model Checking Problems | Anissa Kheireddine, Étienne Renault, Souheib Baarir | Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21) | 31 August 2021 |
vallade.20.nfm | On the Usefulness of Clause Strengthening in Parallel SAT Solving | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) | 1 August 2020 |
vallade.20.sat | Community and LBD-based Clause Sharing Policy for Parallel SAT Solving | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon | Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) | 1 June 2020 |
le-frioux.19.tacas | Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) | 13 February 2019 |
metin.18.tacas | CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving | Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon | Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18) | 5 January 2018 |
le-frioux.17.sat | PaInleSS: a Framework for Parallel SAT Solving | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17) | 30 June 2017 |
menouer.17.iccs | Parallel Learning Portfolio-Based Solvers | Tarek Menouer, Souheib Baarir | Proceedings of the International Conference on Computational Science (ICCS) | 1 June 2017 |
menouer.17.pdp | Parallel Satisfiability Solver Based on Hybrid Partitioning Method | Tarek Menouer, Souheib Baarir | Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) | 1 March 2017 |
baarir.15.lpar | SAT-based Minimization of Deterministic ω-Automata | Souheib Baarir, Alexandre Duret-Lutz | Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) | 1 September 2015 |
baarir.14.forte | Mechanizing the Minimization of Deterministic Generalized Büchi Automata | Souheib Baarir, Alexandre Duret-Lutz | Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) | 21 March 2014 |
Journal papers
Title | Authors | Published in | Date | |
---|---|---|---|---|
kheireddine.22.constraints | Towards Better Heuristics for Solving Bounded Model Checking Problems | Anissa Kheireddine, Étienne Renault, Souheib Baarir | Constraints | 9 December 2022 |