1 citations to https://www.mathnet.ru/rus/aa1142

1. Hirsch E.A., Itsykson D., Monakhov I., Smal A., “On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography”, Theory Comput. Syst., 51:2 (2012), 179–195