METIN Hakan

PhD student (Teaching assistant, Sorbonne Université)
Team : MoVe
Arrival date : 10/01/2016
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 231
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 51 28, Hakan.Metin (at) nulllip6.fr
https://pages.lip6.fr/Hakan.Metin
Supervision : Fabrice KORDON
Co-supervision : BAARIR Souheib

Exploitation des symétries dynamiques pour la résolution des problèmes SAT

2018 Publications

  • 2018
    • H. Metin, S. Baarir, M. Colange, F. Kordon : “CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving”, Tools and Algorithms for the Construction and Analysis of Systems -- TACAS, Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proce, Tessaloniki, Greece (2018)
    • S. Baarir, R. Bendraou, H. Metin, Y. Laurent : “ProVer: an SMT-based approach for process verification”, Model-Driven Engineering Verification & Validation, MoDELS Workshop, vol. 2245, MODELS Workshops, Copenhague, Denmark, pp. 555-562 (2018)
 Mentions légales
Site map |