|
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive |
2002, Volume 293
|
| | General information | | | Contents | | |
Systems of pair of P. A. Golovach |
5 | ||
Public-key cryptography and invariant theory D. Yu. Grigor'ev |
26 | ||
On non-abelian homomorphic public-key cryptosystems D. Yu. Grigor'ev, I. N. Ponomarenko |
39 | ||
Blocks in D. V. Karpov |
59 | ||
Solution lifting method for handling Meta-variables in the TH B. Yu. Konev, T. Jebelean |
94 | ||
An upper bound A. S. Kulikov |
118 | ||
A A. S. Kulikov, S. S. Fedin |
129 | ||
Hard satisfiable formulas for DPLL-type algorithms S. I. Nikolenko |
139 | ||
Intertible infinitary calculus without loop rules for a restricted FTL R. Pliuškevičius |
149 |