Login / Signup
Hakan Metin
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 3
Top Topics
Symmetry Breaking
Sat Solving
Search Tree
Boolean Optimization
Top Venues
MoDELS (Workshops)
TACAS (1)
NFM
</>
Publications
</>
Hakan Metin
,
Souheib Baarir
,
Fabrice Kordon
Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving.
NFM
(2019)
Hakan Metin
,
Souheib Baarir
,
Maximilien Colange
,
Fabrice Kordon
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.
TACAS (1)
(2018)
Souheib Baarir
,
Reda Bendraou
,
Hakan Metin
,
Yoann Laurent
ProVer: an SMT-based approach for process verification.
MoDELS (Workshops)
(2018)