( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SAT-based search for systems of diagonal latin squares in volunteer computing project SAT@home.

, , и . MIPRO, стр. 277-281. IEEE, (2016)

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.

Alma Stepan

Holger Stepan

Guido Stepan

Rolf Stepan

Stepan ornij

 

Другие публикации лиц с тем же именем

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