Hakan Metin

According to our database, Hakan Metin authored at least 4 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

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

Hakan Metin

PhD thesis, 2019

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving.

Hakan Metin, Souheib Baarir, Fabrice Kordon

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.

Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

ProVer: an SMT-based approach for process verification.

Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent

Proceedings of MODELS 2018 Workshops: ModComp, 2018