( en | de | ru )

 

Disambiguierung von "Semenov, Alexander A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Improving the effectiveness of SAT approach in application to analysis of several discrete models of collective behavior.

, , und . MIPRO, Seite 1172-1177. IEEE, (2017)

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.

Nikita Semenov

Dmitry Semenov

Alexander A Borbély

Alexander A Bialasiewicz

Alexander Foss°a

 

Weitere Publikationen von Autoren mit dem selben Namen

Constructing a Set of Weak Values for Full-round MD4 Hash Function., und . MIPRO, Seite 1212-1217. IEEE, (2020)Improving the effectiveness of SAT approach in application to analysis of several discrete models of collective behavior., , und . MIPRO, Seite 1172-1177. IEEE, (2017)DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions., und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 76-89. Springer, (2011)Probabilistic Generalization of Backdoor Trees with Application to SAT., , , und . AAAI, Seite 4095-4103. AAAI Press, (2023)Merging Variables: One Technique of Search in Pseudo-Boolean Optimization.. MOTOR (2), Volume 1090 von Communications in Computer and Information Science, Seite 86-102. Springer, (2019)Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability., , und . CEC, Seite 1-8. IEEE, (2022)Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability Problem., und . PaCT, Volume 9251 von Lecture Notes in Computer Science, Seite 222-230. Springer, (2015)SAT-based search for systems of diagonal latin squares in volunteer computing project SAT@home., , und . MIPRO, Seite 277-281. IEEE, (2016)On Some Variants of the Merging Variables Based (1+1)-Evolutionary Algorithm with Application to MaxSAT Problem., , und . MOTOR, Volume 12755 von Lecture Notes in Computer Science, Seite 111-124. Springer, (2021)Parallel Framework for Evolutionary Black-box optimization with Application to Algebraic Cryptanalysis., , , und . MIPRO, Seite 1144-1149. IEEE, (2019)