Edward A. Hirsch

Identifiers

• name variant Edward A. Hirsch 0.60 · backfill

Papers (1)

1. On optimal heuristic randomized semidecision procedures, with application to proof complexity cs.CC · 2009 · author #1

Mentions

• 0908.2707 #1 · backfill · confidence 0.70 Edward A. Hirsch

Frequent Coauthors

• Dmitry Itsykson 1 shared papers