"Zapiski Nauchnyh Seminarov POMI"
VOL. 293
This issue is entitled "Computational complexity theory. Part VII"
editor E. A. Hirsch
Contents
- Golovach P. A. Systems of pair of q-distant representatives and
graph colorings....... 5
(.ps.gz)
- Grigoriev D. Yu. Public-key cryptography and invariant theory
....... 26
(.ps.gz)
- Grigoriev D. Yu., Ponomarenko I. N.
On non-abelian homomorphic public-key cryptosystems
....... 39
(.ps.gz)
- Karpov D. V. Blocks in k-connected graphs....... 59
(.ps.gz)
- Konev B. Yu., Jebelean T.
Solution lifting method for handling
Meta-variables in the THEOREMA system.
....... 94
(.ps.gz)
- Kulikov A. S. An upper bound O(20.16254n) for Exact
3-Satisfiability: A simpler proof....... 118
(.ps.gz)
- Kulikov A. S., Fedin S. S.
A 2|E|/4-time Algorithm for MAX-CUT
....... 129
(.ps.gz)
- Nikolenko S. I.
Hard satisfiable formulas for DPLL-type algorithms
....... 139
(.ps.gz)
- Pliuškevicius R.
Invertible infinitary calculus without loop rules for a restricted
FTL ....... 149
(.ps.gz)
- Reviews .......181
(.ps.gz)
Paging: 184 pp.
-
Language: Russian
Back to the Petersburg Department of
Steklov Institute of Mathematics