Falk Hüffner, Encyclopedia of Algorithms, 2016, 162
В. В. Быкова, “Об асимптотике решений рекуррентных соотношений в анализе алгоритмов расщепления для пропозициональной выполнимости”, ПДМ. Приложение, 2013, № 6, 112–116
В. В. Быкова, “Об асимптотике решений рекуррентных соотношений специального вида и технике Кульмана–Люкхардта”, ПДМ, 2013, № 4(22), 56–66
А. С. Куликов, К. Куцков, “Новые верхние оценки для задачи максимальной выполнимости”, Дискрет. матем., 21:1 (2009), 139–157; A. S. Kulikov, K. Kutskov, “New upper bounds for the problem of maximal satisfiability”, Discrete Math. Appl., 19:2 (2009), 155–172
Hueffner F., Niedermeier R., Wernicke S., “Techniques for practical fixed-parameter algorithms”, Computer Journal, 51:1 (2008), 7–25
Ryan Williams, “Applying practice to theory”, SIGACT News, 39:4 (2008), 37
Federico Della Croce, Vangelis Th. Paschos, “Exploiting dominance conditions for computing non trivial worst-case complexity for bounded combinatorial optimization problems”, Oper Res Int J, 8:3 (2008), 235
Falk Hüffner, Encyclopedia of Algorithms, 2008, 78
Federico Della Croce, Bruno Escoffier, Marcin Kamiński, Vangelis Th. Paschos, Combinatorial Optimization and Theoretical Computer Science, 2008, 203
Kojevnikov A., Kulikov A.S., “A New Approach to Proving Upper Bounds for MAX-2-SAT”, Proceedings of the Seventheenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2006, 11–17
Kulikov A.S., “Automated generation of simplification rules for SAT and MAXSAT”, Theory and Applications of Satisfiability Testing, Proceedings, Lecture Notes in Computer Science, 3569, 2005, 430–436
; A. S. Kulikov, K. Kutskov, “New upper bounds for the problem of maximal satisfiability”, Discrete Math. Appl., 19:2 (2009), 
