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