Dmitry Itsykson, Dmitry Sokolov. On Fast Heuristic Non-deterministic Algorithms and Short Heuristic Proofs. Fundamenta Informaticae, 132(1):113-129, 2014. [doi]
@article{ItsyksonS14, title = {On Fast Heuristic Non-deterministic Algorithms and Short Heuristic Proofs}, author = {Dmitry Itsykson and Dmitry Sokolov}, year = {2014}, doi = {10.3233/FI-2014-1036}, url = {http://dx.doi.org/10.3233/FI-2014-1036}, researchr = {https://researchr.org/publication/ItsyksonS14}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {132}, number = {1}, pages = {113-129}, }