Snytnikova Tatyana V., Nepomniaschaya Anna Sh. «Associative version of the Ramalingam incremental algorithm for the dynamic single-source reachability problem» // Tomsk State University Journal of Control and Computer Science 2021. №54 C.86-96
Nepomniaschaya A. Sh., Snytnikova T. V., Nepomniaschaya A. Sh., Snytnikova T. V. «Solution of graph problems by means of the STAR-machine being implemented on GPUs» // Applied Discrete Mathematics 2016. №3(33) C.98-115
Semenov A. A., Bulavintsev V.G., Semenov A. A., Bulavintsev V.G. «GPU-based implementation of DPLL algorithm with limited non-chronological backtracking» // 2013. №6 (Приложение) C.111-112
Semenov A. A., Bulavintsev V.G., Semenov A. A., Bulavintsev V.G. «GPU-based implementation of DPLL algorithm with limited non-chronological backtracking» // 2013. №6 C.111-112
