( en | de | ru )

 

Disambiguierung von "Metin, Hakan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.

, , , und . TACAS (1), Volume 10805 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving., , und . NFM, Volume 11460 von Lecture Notes in Computer Science, Seite 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., , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 555-562. CEUR-WS.org, (2018)CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving., , , und . TACAS (1), Volume 10805 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2018)Bayesian estimation of discrete-time cellular neural network coefficients., , und . Turkish J. Electr. Eng. Comput. Sci., (2017)Prediction of splitting tensile strength from the compressive strength of concrete using GEP.. Neural Comput. Appl., 21 (8): 1937-1945 (2012)