Литература. 
Задача разработки SAT-решателя для поиска верификационных наборов в тестировании программного обеспечения

• 1. J. Gu, P.W. Purdom, J. Franco, B.W. Wah, Algorithms for satisfiability (SAT) problem: A survey. DIMACS Volume Series on Discrete Mathematics and Theoretical Computer Science: The Satisfiability (SAT) Problem, vol. 35, American Mathematical Society, Providence, RI, pp. 19−151.
• 2. N. Een, N. Sorensson. «An Extensible SAT-solver» in SAT 2003, pp. 502−508.
• 3. Levin, L. A. (1973). Universal sequential search problems. Problems of Information Transmission, 9:3, pp. 265−266.
• 4. Кажаров Х. А., Ляпунова И. А., Чистяков А. Е. Программная реализация численного решения обратной задачи транспорта веществ // Инженерный вестник Дона, 2015. № 4 URL: ivdon.ru/ru/magazine/archive/n4y2015/3437.
• 5. Дегтярева Е. Е., Проценко Е. А., Чистяков А. Е. Программная реализация трехмерной математической модели транспорта взвеси в мелководных акваториях // Инженерный вестник Дона, 2012. № 4−2 URL: ivdon.ru/ru/magazine/archive/n4p2y2012/1283.
• 6. Семёнов А. А. О преобразованиях Цейтина в логических уравнениях — Теоретические основы прикладной дискретной математики, 2009. — C. 28−50.
• 7. Mitchell D. Linear Time: Unit Propagation and Horn-SAT // Notes on Satisfiability-Based Problem Solving, 2015. pp. 1−5.
• 8. Цейтин Г. С. О сложности вывода в исчислении высказываний// Записки научных семинаров ЛОМИ АН СССР. 1968. Т.8. C.234−259.
• 9. Semenov, A., Zaikin, O.: Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem. In: Malyshkin, V. (ed.) Parallel Computing Technologies — 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31 — September 4, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9251, pp. 222−230. Springer (2015).
• 10. Курейчик В. М., Таран А. Е., Ляпунова И. А. Реализация муравьиного алгоритма на ГРИД-системе// Вестник Ростовского государственного университета путей сообщения. 2015. № 4 (60). С. 48−52.

References:

• 1. J. Gu, P.W. Purdom, J. Franco, B.W. Wah, Algorithms for satisfiability (SAT) problem: A survey. DIMACS Volume Series on Discrete Mathematics and Theoretical Computer Science: The Satisfiability (SAT) Problem, vol. 35, American Mathematical Society, Providence, RI, pp. 19−151.
• 2. N. Een, N. Sorensson. «An Extensible SAT-solver» in SAT 2003, pp. 502−508.
• 3. Levin, L. A. (1973). Universal sequential search problems. Problems of Information Transmission, 9:3, pp. 265−266.
• 4. Kazharov H.A., Lyapunova I.A., Chistjakov A.E. Inћenernyj vestnik Dona (Rus), 2015, № 4. URL: ivdon.ru/ru/magazine/archive/n4y2015/3437.
• 5. Degtyareva E.E., Protsenko E.A., Chistyakov A.E. Inћenernyj vestnik Dona (Rus), 2012, № 4−2. URL: ivdon.ru/ru/magazine/archive/n4p2y2012/1283.
• 6. A.A. Semjonov, PDM, 2009, № 4(6), pp. 28−50.
• 7. Mitchell D. Notes on Satisfiability-Based Problem Solving, 2015, pp.1−5.
• 8. G.S. Cejtin. Zap. nauchn. sem. LOMI, 1968, tom 8, pp. 234−259.
• 9. Semenov, A., Zaikin, O.: Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem. In: Malyshkin, V. (ed.) Parallel Computing Technologies — 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31 — September 4, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9251, pp. 222−230. Springer (2015).
• 10. Kurejchik V.M., Taran A.E., Ljapunova I.A. Vestnik Rostovskogo gosudarstvennogo universiteta putej soobshhenija, 2015, № 4 (60), pp. 48−52.