Bulavintsev V.G., Semenov A. A., Bulavintsev V.G., Semenov A. A. «GPU-based implementation of DPLL algorithm with limited non-chronological backtracking» // 2013. №6 (Приложение) C.111-112
Bulavintsev V.G., Semenov A. A., Bulavintsev V.G., Semenov A. A. «GPU-based implementation of DPLL algorithm with limited non-chronological backtracking» // 2013. №6 C.111-112
