Concepedia

Edward Hirsch

EH

Statistics

Publications

25

Citations

1.1K

H-Index

18

Active since

1947

Affiliations

St. Petersburg Department of Steklov Institute of Mathematics(Current)

Steklov Mathematical Institute

St Petersburg University

Université d'Artois

Laboratoire de Recherche en Informatique

Edward Hirsch is an author at St. Petersburg Department of Steklov Institute of Mathematics specializing in computer science, computing, and algorithms.

Publications per year

1947–2016

25

Publications

25

A deterministic (2−2/(k+1))n algorithm for k-SAT based on local search

Evgeny Dantsin, Andreas Goerdt, Edward Hirsch et al. · Theoretical Computer Science · 2002 · 229 citations

, , +7

New Worst-Case Upper Bounds for SAT

Edward Hirsch · Journal of Automated Reasoning · 2000 · 102 citations

, , +6

UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination

Edward Hirsch, Arist Kojevnikov · Annals of Mathematics and Artificial Intelligence · 2004 · 92 citations

, , +3

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

Jens Gramm, Edward Hirsch, Rolf Niedermeier et al. · Discrete Applied Mathematics · 2003 · 91 citations

, , +6

Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas

Michael Alekhnovich, Edward Hirsch, Dmitry Itsykson · Journal of Automated Reasoning · 2006 · 62 citations

, , +10

1–5 of 25