( en | de | ru )

 

Disambiguierung von "Kochemazov, Stepan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Empirical Analysis of the RC2 MaxSAT Algorithm.

, , und . MIPRO, Seite 1027-1032. IEEE, (2023)

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.

Alma Stepan

Holger Stepan

Guido Stepan

Stepan ornij

Peter Stepan

 

Weitere Publikationen von Autoren mit dem selben Namen

Encoding Cryptographic Functions to SAT Using TRANSALG System., , , , und . ECAI, Volume 285 von Frontiers in Artificial Intelligence and Applications, Seite 1594-1595. IOS Press, (2016)A Volunteer-Computing-Based Grid Architecture Incorporating Idle Resources of Computational Clusters., , , , und . NAA, Volume 10187 von Lecture Notes in Computer Science, Seite 769-776. (2016)The application of parameterized algorithms for solving SAT to the study of several discrete models of collective behavior., , und . MIPRO, Seite 1288-1292. IEEE, (2016)Speeding Up CDCL Inference with Duplicate Learnt Clauses., , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 339-346. IOS Press, (2020)On Cryptographic Attacks Using Backdoors for SAT., , , , und . AAAI, Seite 6641-6648. AAAI Press, (2018)UnProVET: Using Explicit Constraint Propagation to Construct Attack Graphs., , und . MIPRO, Seite 1199-1204. IEEE, (2019)Assessing Progress in SAT Solvers Through the Lens of Incremental SAT., , und . SAT, Volume 12831 von Lecture Notes in Computer Science, Seite 280-298. Springer, (2021)Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order., , und . CoRR, (2017)An Improved SAT-Based Guess-and-Determine Attack on the Alternating Step Generator., und . ISC, Volume 10599 von Lecture Notes in Computer Science, Seite 21-38. Springer, (2017)SAT-based search for systems of diagonal latin squares in volunteer computing project SAT@home., , und . MIPRO, Seite 277-281. IEEE, (2016)