Voir la notice de l'article provenant de la source Math-Net.Ru
[1] Allen P., “Almost every 2-SAT function is unate”, Israel J. Math., 161:1 (2007), 311–346 | DOI | MR | Zbl
[2] Gorshkov S. P., “Primenenie teorii NP-polnykh zadach dlya otsenki slozhnosti resheniya sistem bulevykh uravnenii”, Obozr. prikl. i promyshl. matem., 2:3 (1995), 325–398
[3] Gorshkov S. P., Tarasov A. V., Slozhnost resheniya sistem bulevykh uravnenii, Kurs, M., 2017, 192 pp.
[4] Tarasov A. V., “O svoistvakh funktsii, predstavimykh v vide 2-KNF”, Diskretnaya matematika, 13:4 (2001), 99–115 | Zbl
[5] Tarasov A. V., “O metodakh otsenivaniya vesa bulevykh biyunktivnykh funktsii”, Matematicheskie voprosy kriptografii, 8:4 (2018), 125–142
[6] Gorshkov S. P.,Tarasov A. V., “O vese bulevykh funktsii, predstavimykh v vide 2-KNF ili 3-KNF”, Matematicheskie voprosy kriptografii, 9:4 (2018), 5–26 | MR
[7] Kofman A., Vvedenie v prikladnuyu kombinatoriku, Mir, M., 1975, 480 pp.