851 - 860 out of 1,019Page size: 10
  1. 2005

  2. Automated generation of simplification rules for SAT and MAXSAT

    Kulikov, A. S., 17 Oct 2005, In: Lecture Notes in Computer Science. 3569, p. 430-436 7 p.

    Research output: Contribution to journal › Conference article › peer-review

  3. Simulating Cutting Plane proofs with restricted degree of falsity by resolution

    Hirsch, E. A. & Nikolenko, S. I., 17 Oct 2005, In: Lecture Notes in Computer Science. 3569, p. 135-142 8 p.

    Research output: Contribution to journal › Conference article › peer-review

  4. Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas

    Alekhnovich, M., Hirsch, E. A. & Itsykson, D., 1 Oct 2005, In: Journal of Automated Reasoning. 35, 1-3, p. 51-72 22 p.

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

  5. Absolutely continuous spectrum for the isotropic maxwell operator with coefficients that are periodic in some directions and decay in others

    Filonov, N. & Klopp, F., 1 Aug 2005, In: Communications in Mathematical Physics. 258, 1, p. 75-85 11 p.

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

  6. A realization of the irreducible representations of S n corresponding to 2-row diagrams in the space of square-free symmetric forms

    Nikitin, P. P., 1 Aug 2005, In: Journal of Mathematical Sciences . 129, 2, p. 3796-3799 4 p.

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

  7. The limit shape of young diagrams for multiplicative statistics with superpolynomial growth

    Petrov, F. V., 1 Aug 2005, In: Journal of Mathematical Sciences . 129, 2, p. 3800-3805 6 p.

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

  8. Filling area conjecture and ovalless real hyperelliptic surfaces

    Bangert, V., Croke, C., Ivanov, S. & Katz, M., 1 Jun 2005, In: Geometric and Functional Analysis. 15, 3, p. 577-597 21 p.

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

  9. Classifying countable Boolean terms

    Selivanov, V. L., 1 Mar 2005, In: Algebra and Logic. 44, 2, p. 95-108 14 p.

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

  10. Supercongruences for truncated n+1F n hypergeometric series with applications to certain weight three newforms

    Mortenson, E., 1 Feb 2005, In: Proceedings of the American Mathematical Society. 133, 2, p. 321-330 10 p.

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

  11. The typical dynamics of some mappings determined by piecewise linear functions

    Malets, M. N. & Pilyugin, S. Y., Feb 2005, In: Differential Equations. 41, 2, p. 238-245 8 p.

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

Previous 1...82 83 84 85 86 87 88 89 ...102 Next

ID: 45528956