• 619 Citations
  • 15 h-Index
19972018

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 619 Citations
  • 15 h-Index
  • 20 статья
  • 14 статья в сборнике материалов конференции
  • 4 статья в журнале по материалам конференции
  • 1 глава/раздел
Filter
статья в журнале по материалам конференции
2005
4 Citations (Scopus)
2003

Algebraic proof systems over formulas

Grigoriev, D. & Hirsch, E. A., 28 Jun 2003, In : Theoretical Computer Science. 303, 1, p. 83-102 20 p.

Research output

Open Access
13 Citations (Scopus)

Worst-case study of local search for MAX-k-SAT

Hirsch, E. A., 15 Aug 2003, In : Discrete Applied Mathematics. 130, 2, p. 173-184 12 p.

Research output

Open Access
16 Citations (Scopus)

Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT

Gramm, J., Hirsch, E. A., Niedermeier, R. & Rossmanith, P., 15 Aug 2003, In : Discrete Applied Mathematics. 130, 2, p. 139-155 17 p.

Research output

Open Access
53 Citations (Scopus)