1. 2000
  2. New worst-case upper bounds for SAT

    Hirsch, E. A., 1 Jan 2000, In: Journal of Automated Reasoning. 24, 4, p. 397-420 24 p.

    Research output: Contribution to journalArticlepeer-review

  3. Separating signs in the propositional satisfiability problem

    Hirsch, E. A., 1 Jan 2000, In: Journal of Mathematical Sciences . 98, 4, p. 442-463 22 p.

    Research output: Contribution to journalArticlepeer-review

  4. Задачи Санкт-Петербургской олимпиады школьников по математике, 2000 год

    Кохась, К. П., Храбров, А. И., Берлов, С. Л., Иванов, С. В., Карпов, Д. В. & Петров, Ф. В., 2000, Санкт-Петербург: Издательство Санкт-Петербургского университета. 108 p.

    Research output: Book/Report/AnthologyTeaching materialsEducation

  5. Петербургские математические олимпиады

    Кохась, К. П., Иванов, С. В. & Берлов, С. Л., 2000, Санкт-Петербург: Издательство «Лань». 608 p. (Учебники для вузов. Специальная литература)

    Research output: Book/Report/AnthologyTeaching materialsEducation

  6. 1999
  7. Galois structure for abelian p-extensions of Dedekind domains

    Bondarko, M., Lai, K. F. & Vostokov, S. V., 1 Dec 1999, In: Journal fur die Reine und Angewandte Mathematik. 517, p. 51-59 9 p.

    Research output: Contribution to journalArticlepeer-review

  8. Uniform Exponential Stability of Attractors for Perturbed Evolution Equations

    Kostin, I. N. & Pilyugin, S. Y., Nov 1999, In: Doklady Mathematics. 60, 3, p. 380-381 2 p.

    Research output: Contribution to journalArticlepeer-review

  9. Quasi-invariance du processus gamma et propriétés multiplicatives des distributions de Poisson-Dirichlet

    Tsilevich, N. & Vershik, A., 15 Jul 1999, In: Comptes Rendus de l'Academie des Sciences - Series I: Mathematics. 329, 2, p. 163-168 6 p.

    Research output: Contribution to journalArticlepeer-review

  10. Stationary random partitions of positive integers

    Tsilevich, N. V., 1 Mar 1999, In: Theory of Probability and its Applications. 44, 1, p. 60-74 15 p.

    Research output: Contribution to journalArticlepeer-review

  11. Distribution of the mean value for certain random measures

    Tsilevich, N. V., 1 Jan 1999, In: Journal of Mathematical Sciences . 96, 5, p. 3616-3623 8 p.

    Research output: Contribution to journalArticlepeer-review

  12. Interactive protocols over the reals

    Ivanov, S. & De Rougemont, M., 1 Jan 1999, In: Computational Complexity. 8, 4, p. 330-345 16 p.

    Research output: Contribution to journalArticlepeer-review

ID: 45528956