41 - 43 out of 43Page size: 10
  1. 1998

  2. Two new upper bounds for SAT

    Hirsch, E. A., 1 Dec 1998, p. 521-530. 10 p.

    Research output: Contribution to conference › Paper › peer-review

  3. Local search algorithms for SAT: Worst-case analysis

    Hirsch, E. A., 1 Jan 1998, Algorithm Theory — SWAT 1998 - 6th Scandinavian Workshop on Algorithm Theory, Proceedings. Arnborg, S. & Ivansson, L. (eds.). Springer Nature, p. 246-254 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1432).

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

  4. 1997

  5. On construction of a symbolic realization of hyperbolic automorphisms of the torus

    Hirsch, E. A., 1 Jan 1997, In: Journal of Mathematical Sciences . 87, 6, p. 4065-4066 2 p.

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

Previous 1 2 3 4 5 Next

ID: 9072111