• 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
материалы
1998

Two new upper bounds for SAT

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

Research output

21 Citations (Scopus)