1. Anderson, D.P.: BOINC: a platform for volunteer computing. J. Grid Comput. 18(1), 99–122 (2020)
2. Biere, A., Fleury, M.: Gimsatul, IsaSAT and Kissat entering the SAT Competition 2022. In: Proceedings of SAT Competition 2022 - Solver and Benchmark Descriptions, pp. 10–11 (2022)
3. Knuth, D.E.: Dancing Links. Millenial Perspectives in Computer Science, pp. 187–214 (2000)
4. Kochemazov, S., Zaikin, O., Semenov, A.: The comparison of different SAT encodings for the problem of search for systems of orthogonal Latin squares. In: Proceedings of the International Conference on Mathematical and Information Technologies, pp. 155–165 (2017)
5. Kochemazov, S., Zaikin, O., Vatutin, E., Belyshev, A.: Enumerating diagonal Latin squares of order up to 9. J. Integer Seq. 23(1), 20.1.2 (2020)