1 citations to https://www.mathnet.ru/rus/znsl481
  1. Hirsch E.A., “New worst–case upper bounds for SAT”, Journal of Automated Reasoning, 24:4 (2000), 397–420  crossref  mathscinet  zmath  isi  scopus  scopus