Systems of pairs of q-distant representatives, and graph colorings P. A. Golovach OriginalPaper Pages: 1141 - 1151
On non-Abelian homomorphic public-key cryptosystems D. GrigorievI. Ponomarenko OriginalPaper Pages: 1158 - 1166
Solution lifting method for handling meta-variables in TH∃OREM∀ B. KonevT. Jebelean OriginalPaper Pages: 1182 - 1194
An upper bound O(20.16254n) for exact 3-satisfiability: a simpler proof A. S. Kulikov OriginalPaper Pages: 1195 - 1199
Invertible infinitary calculus without loop rules for restricted FTL R. Pliuškevičius OriginalPaper Pages: 1210 - 1228