TY  - RPRT
TI  - On optimal heuristic randomized semidecision procedures, with application to proof complexity
AU  - Edward A. Hirsch
AU  - Dmitry Itsykson
PY  - 2010
UR  - https://arxiv.org/abs/0908.2707
ID  - 0908.2707
ER  -