Personal tools

Souheib Baarir

From LRDE

Jump to: navigation, search

Publications

    Conference papers

    Title Authors Published in Date
    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
    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