ProVer: an SMT-based approach for process verification. - Souheib Baarir; Reda Bendraou; Hakan Metin; Yoann Laurent (MoDELS (Workshops), 2018)

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. - Hakan Metin; Souheib Baarir; Maximilien Colange; Fabrice Kordon (TACAS (1), 2018)

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. - Hakan Metin; Souheib Baarir; Fabrice Kordon (NFM, 2019)

Exploitation of dynamic symmetries for solving SAT problems. (Exploitation des symétries dynamiques pour la résolution des problèmes SAT). - Hakan Metin (2019)