Hirsch, E. A., Itsykson, D., St. Petersburg Department of V.A. Steklov Mathematical Institute (PDMI RAS), Steklov Mathematical Institute [Moscow] (SMI | RAS), Russian Academy of Sciences [Moscow] (RAS)-Russian Academy of Sciences [Moscow] (RAS), Inria Nancy Grand Est & Loria, & Jean-Yves Marion and Thomas Schwentick. (2010, March 4). On optimal heuristic randomized semidecision procedures, with application to proof complexity. Presented at the. HAL CCSD, 2010. Retrieved from https:/ nria.hal.science nria-00455819

HIRSCH, Edward A., ITSYKSON, Dmitry, ST. PETERSBURG DEPARTMENT OF V.A. STEKLOV MATHEMATICAL INSTITUTE (PDMI RAS), Steklov Mathematical Institute [Moscow] (SMI | RAS), RUSSIAN ACADEMY OF SCIENCES [MOSCOW] (RAS)-RUSSIAN ACADEMY OF SCIENCES [MOSCOW] (RAS), INRIA NANCY GRAND EST & LORIA and JEAN-YVES MARION AND THOMAS SCHWENTICK, 2010. On optimal heuristic randomized semidecision procedures, with application to proof complexity. In: [online]. HAL CCSD, 2010. 4 March 2010. Available from: https:/ nria.hal.science nria-00455819

Hirsch, E. A., D. Itsykson, St. Petersburg Department of V.A. Steklov Mathematical Institute (PDMI RAS), Steklov Mathematical Institute [Moscow] (SMI | RAS), Russian Academy of Sciences [Moscow] (RAS)-Russian Academy of Sciences [Moscow] (RAS), Inria Nancy Grand Est & Loria, and Jean-Yves Marion and Thomas Schwentick. On optimal heuristic randomized semidecision procedures, with application to proof complexity. HAL CCSD, 2010., 2010, https:/ nria.hal.science nria-00455819.

Hirsch, E.A., Itsykson, D., St. Petersburg Department of V.A. Steklov Mathematical Institute (PDMI RAS), Steklov Mathematical Institute [Moscow] (SMI | RAS), Russian Academy of Sciences [Moscow] (RAS)-Russian Academy of Sciences [Moscow] (RAS), Inria Nancy Grand Est & Loria and Jean-Yves Marion and Thomas Schwentick. (2010), “On optimal heuristic randomized semidecision procedures, with application to proof complexity”, in , Vol. , HAL CCSD, 2010., available at: https:/ nria.hal.science nria-00455819.