921 - 930 out of 1,019Page size: 10
  1. 2001

  2. Second-order elliptic equation of divergence form having a compactly supported solution

    Filonov, N., 1 Jan 2001, In: Journal of Mathematical Sciences . 106, 3, p. 3078-3086 9 p.

    Research output: Contribution to journal › Article › peer-review

  3. Solving Boolean satisfiability using local search guided by unit clause elimination

    Hirsch, E. A. & Kojevnikov, A., 1 Jan 2001, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Walsh, T. (ed.). Springer Nature, p. 605-609 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2239).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  4. The Euler characteristic of a random algebraic hypersurface

    Podkorytov, S. S., 1 Jan 2001, In: Journal of Mathematical Sciences . 104, 4, p. 1394-1398 5 p.

    Research output: Contribution to journal › Article › peer-review

  5. Spectral singularities, Szőkefalvi-Nagy—Foias functional model and the spectral analysis of the Boltzmann operator

    Naboko, S. & Romanov, R., 2001, Recent Advances in Operator Theory and Related Topics. Kérchy, L., Gohberg, I., Foias, C. I. & Langer, H. (eds.). Birkhäuser Verlag AG, p. 473-490

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

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

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

    Research output: Book/Report/Anthology › Teaching materials › Education

  7. 2000

  8. Un résultat de fermeture pour les équations de Maxwell en géométrie axisymétrique

    Ciarlet, P., Filonov, N. & Labrunie, S., 15 Aug 2000, In: Comptes Rendus de l'Academie des Sciences - Series I: Mathematics. 331, 4, p. 293-298 6 p.

    Research output: Contribution to journal › Article › peer-review

  9. SAT local search algorithms: worst-case study

    Hirsch, E. A., 1 Feb 2000, In: Journal of Automated Reasoning. 24, 1-2, p. 127-143 17 p.

    Research output: Contribution to journal › Article › peer-review

  10. A new algorithm for MAX-2-SAT

    Hirsch, E. A., 1 Jan 2000, STACS 2000 - 17th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2000, Proceedings. Reichel, H. & Tison, S. (eds.). Springer Nature, p. 65-73 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1770).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. Deterministic algorithms for k-SAT based on covering codes and local search

    Dantsin, E., Goerdt, A., Hirsch, E. A. & Schöning, U., 1 Jan 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Welzl, E. & Rolim, J. D. P. (eds.). Springer Nature, p. 236-247 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1853).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  12. 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 journal › Article › peer-review

Previous 1...89 90 91 92 93 94 95 96 ...102 Next

ID: 45528956