User

Souheib Baarir

From LRDE

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