Rybalov, A. N. On generic NP-completeness of the problem of Boolean circuits satisfiability. (Russian. English summary) Zbl 1455.68071 Prikl. Diskretn. Mat. 2020, No. 47, 101-107 (2020). MSC: 68Q17 68Q06 68Q25 68W01 94C11 PDFBibTeX XMLCite \textit{A. N. Rybalov}, Prikl. Diskretn. Mat. 2020, No. 47, 101--107 (2020; Zbl 1455.68071) Full Text: DOI MNR
Adelshin, A. V.; Kuchin, A. K. Analysis of \(L\)-structure of polyhedron in the partial MAX SAT problem. (Russian. English summary) Zbl 07311446 Prikl. Diskretn. Mat. 2017, No. 4(38), 110-118 (2017). MSC: 90-XX 68-XX PDFBibTeX XMLCite \textit{A. V. Adelshin} and \textit{A. K. Kuchin}, Prikl. Diskretn. Mat. 2017, No. 4(38), 110--118 (2017; Zbl 07311446) Full Text: DOI MNR
Rybalov, A. N. On generic NP-completeness of the Boolean satisfiability problem. (Russian. English summary) Zbl 1457.68117 Prikl. Diskretn. Mat. 2017, No. 2(36), 106-112 (2017). MSC: 68Q17 68Q09 68Q15 68Q25 68R07 68W01 PDFBibTeX XMLCite \textit{A. N. Rybalov}, Prikl. Diskretn. Mat. 2017, No. 2(36), 106--112 (2017; Zbl 1457.68117) Full Text: DOI MNR Link
Adel’shin, A. V.; Kolokolov, A. A. Analysis and solution of discrete optimization problems with logical constraints on the base of \(L\)-partition approach. (Russian. English summary) Zbl 07310323 Prikl. Diskretn. Mat. 2015, No. 4(30), 100-108 (2015). MSC: 90-XX 68-XX PDFBibTeX XMLCite \textit{A. V. Adel'shin} and \textit{A. A. Kolokolov}, Prikl. Diskretn. Mat. 2015, No. 4(30), 100--108 (2015; Zbl 07310323) Full Text: DOI MNR
Kolokolov, A. A.; Adel’shin, A. V.; Yagofarova, D. I. Study of discrete optimization problems with logical constraints based on regular partitions. (Russian. English summary) Zbl 1490.68144 Prikl. Diskretn. Mat. 2013, No. 1(19), 99-109 (2013). MSC: 68R07 68Q25 68W05 90C10 PDFBibTeX XMLCite \textit{A. A. Kolokolov} et al., Prikl. Diskretn. Mat. 2013, No. 1(19), 99--109 (2013; Zbl 1490.68144) Full Text: MNR