( en | de | ru )

 

Disambiguation of "Kochemazov, Stepan"

Author of the publication

copydeleteadd this publication to your clipboard
Improving Implementation of SAT Competitions 2017-2019 Winners.

. SAT, volume 12178 of Lecture Notes in Computer Science, page 139-148. Springer, (2020)

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.

Holger Stepan

Alma Stepan

Guido Stepan

Rolf Stepan

Stepan ornij

 

Other publications of authors with the same name

On black-box optimization in divide-and-conquer SAT solving., and . Optim. Methods Softw., 36 (4): 672-696 (2021)A Volunteer-Computing-Based Grid Architecture Incorporating Idle Resources of Computational Clusters., , , , and . NAA, volume 10187 of Lecture Notes in Computer Science, page 769-776. (2016)Encoding Cryptographic Functions to SAT Using TRANSALG System., , , , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 1594-1595. IOS Press, (2016)Improving the effectiveness of SAT approach in application to analysis of several discrete models of collective behavior., , and . MIPRO, page 1172-1177. IEEE, (2017)Improving Implementation of SAT Competitions 2017-2019 Winners.. SAT, volume 12178 of Lecture Notes in Computer Science, page 139-148. Springer, (2020)Empirical Analysis of the RC2 MaxSAT Algorithm., , and . MIPRO, page 1027-1032. IEEE, (2023)Improving Effectiveness of Neighborhood-Based Algorithms for Optimization of Costly Pseudo-Boolean Black-Box Functions., and . MOTOR, volume 12095 of Lecture Notes in Computer Science, page 373-388. Springer, (2020)Probabilistic Generalization of Backdoor Trees with Application to SAT., , , and . AAAI, page 4095-4103. AAAI Press, (2023)Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper)., , and . CoRR, (2014)The application of parameterized algorithms for solving SAT to the study of several discrete models of collective behavior., , and . MIPRO, page 1288-1292. IEEE, (2016)