Edward A. Hirsch, Dmitry Itsykson. On optimal heuristic randomized semidecision procedures, with application to proof complexity.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.453-464.
⟨inria-00455819⟩