"úÁÐÉÓËÉ ÎÁÕÞÎÙÈ ÓÅÍÉÎÁÒÏ× ðïíé"

• âÌÉÚÎÅà é. á. îÏ×ÁÑ ×ÅÒÈÎÑÑ ÏÃÅÎËÁ ÄÌÑ $(n,3)$-MAX-SAT.......5 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• çÉÒÛ ü. á., éÃÙËÓÏÎ ä. í., îÉËÏÌÁÅÎËÏ ÷. ï., óÍÁÌØ á. ÷. ïÐÔÉÍÁÌØÎÙÅ Ü×ÒÉÓÔÉÞÅÓËÉÅ ÁÌÇÏÒÉÔÍÙ ÄÌÑ ÏÂÒÁÚÁ ÉÎßÅËÔÉ×ÎÏÊ ÆÕÎËÃÉÉ.......15 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• çÉÒÛ ü. á., íÅÌÁÎÉÞ ï. à., îÉËÏÌÅÎËÏ ó. é. ëÒÉÐÏÔÏÇÒÁÆÉÞÅÓËÉÅ ÐÒÉÍÉÔÉ×Ù, ÄÏËÁÚÕÅÍÏ ÎÁÄ£ÖÎÙÅ × ÓÌÁÂÏÍ ÓÍÙÓÌÅ.......32 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• äÁ×ÙÄÏ× á. ð., îÉËÏÌÅÎËÏ ó. é. óÈÅÍÎÁÑ ÓÌÏÖÎÏÓÔØ ÌÉÎÅÊÎÙÈ ÆÕÎËÃÉÊ: ÍÅÔÏÄ ÉÓËÌÀÞÅÎÉÑ ÇÅÊÔÏ× É ÎÁÄÅÖÎÏÓÔØ × ÓÌÁÂÏÍ ÓÍÙÓÌÅ.......65 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• éÃÙËÓÏÎ ä. í., óÏËÏÌÏ× ä. ï. óÌÏÖÎÏÓÔØ ÏÂÒÁÝÅÎÉÑ Ñ×ÎÏÊ ÆÕÎËÃÉÉ çÏÌÄÒÅÊÈÁ DPLL ÁÌÇÏÒÉÔÍÁÍÉ.......88 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• ëÎÏÐ á. á. äÉÏÆÁÎÔÏ×Á ÉÅÒÁÒÈÉÑ.......109 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• òÅÆÅÒÁÔÙ .......128 (pdf)

---


Contents 
• Bliznets I. A. A new upper bound for $(n,3)$-MAX-SAT.......5
• Hirsch E. A., Itsykson D. M., Nikolaenko V. O., Smal A. V. Optimal heuristic algorithms for the image of an injective function.......15
• Hirsch E. A., Melanich O., Nikolenko S. I. Feebly secure cryptographic primitives.......32
• Davydow A. P., Nikolenko S. I. Circuit complexity of linear functions: gate elimination and feeble security.......65
• Itsykson D. M., Sokolov D. O. The complexity of inversion of explicit Goldreich's function by DPLL algorithms.......88
• Knop A. A. Diophantine hierarchy.......109
• Reviews .......128

---

• Paging: 130 pp.

  ---

• ---

  Back to the Petersburg Department of Steklov Institute of Mathematics