Author of the publication

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.

 

Other publications of authors with the same name

Model and algorithm of the conceptual scheme formation for knowledge domain in distance learning., , and . Eur. J. Oper. Res., 175 (3): 1379-1399 (2006)Parallel algorithms for SAT in application to inversion problems of some discrete functions, , , and . CoRR, (2011)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)Inverting 43-step MD4 via Cube-and-Conquer.. IJCAI, page 1894-1900. ijcai.org, (2022)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)A knowledge base approach to courseware design for distance learning., , and . EUNIS, volume P-13 of LNI, page 499-505. GI, (2001)Extended Ontological Model for Distance Learning Purpose., , and . PAKM, volume 4333 of Lecture Notes in Computer Science, page 155-165. Springer, (2006)Improving the effectiveness of SAT approach in application to analysis of several discrete models of collective behavior., , and . MIPRO, page 1172-1177. IEEE, (2017)Using BOINC Desktop Grid to Solve Large Scale SAT Problems., , and . Comput. Sci., 13 (1): 25-34 (2012)