( en | de | ru )

 

Disambiguation of "Metin, Hakan"

Author of the publication

copydeleteadd this publication to your clipboard
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.

, , , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 99-114. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anne Håkansson

Metin Sabuncu

Quantum engineering of continuous variable quantum states. Uni Erlangen-Nürnberg, (2009)

Mustafa Metin

Mehmet Metin

Hakan Kayi

Parameterization of the AM1* semiempirical molecular orbital method for the first-row transition metals and other elements. Uni Erlangen-Nürnberg, (2009)
 

Other publications of authors with the same name

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving., , and . NFM, volume 11460 of Lecture Notes in Computer Science, page 316-332. Springer, (2019)Exploitation of dynamic symmetries for solving SAT problems. (Exploitation des symétries dynamiques pour la résolution des problèmes SAT).. Sorbonne University, France, (2019)ProVer: an SMT-based approach for process verification., , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 555-562. CEUR-WS.org, (2018)CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving., , , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 99-114. Springer, (2018)