( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Assessing Progress in SAT Solvers Through the Lens of Incremental SAT.

, , и . SAT, том 12831 из Lecture Notes in Computer Science, стр. 280-298. Springer, (2021)

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

Peter Stepan

Rolf Stepan

 

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

On black-box optimization in divide-and-conquer SAT solving., и . Optim. Methods Softw., 36 (4): 672-696 (2021)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)Improving the effectiveness of SAT approach in application to analysis of several discrete models of collective behavior., , и . MIPRO, стр. 1172-1177. IEEE, (2017)Improving Implementation of SAT Competitions 2017-2019 Winners.. SAT, том 12178 из Lecture Notes in Computer Science, стр. 139-148. Springer, (2020)Empirical Analysis of the RC2 MaxSAT Algorithm., , и . MIPRO, стр. 1027-1032. IEEE, (2023)Improving Effectiveness of Neighborhood-Based Algorithms for Optimization of Costly Pseudo-Boolean Black-Box Functions., и . MOTOR, том 12095 из Lecture Notes in Computer Science, стр. 373-388. Springer, (2020)Probabilistic Generalization of Backdoor Trees with Application to SAT., , , и . AAAI, стр. 4095-4103. AAAI Press, (2023)SAT-based search for systems of diagonal latin squares in volunteer computing project SAT@home., , и . MIPRO, стр. 277-281. IEEE, (2016)On the Construction of Triples of Diagonal Latin Squares of Order 10., , , и . Electron. Notes Discret. Math., (2016)