Hakan Metin
According to our database1,
Hakan Metin
authored at least 4 papers
between 2018 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Exploitation of dynamic symmetries for solving SAT problems. (Exploitation des symétries dynamiques pour la résolution des problèmes SAT).
PhD thesis, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018