TY - JOUR AU - A. N. Rybalov TI - On generic NP-completeness of the problem of Boolean circuits satisfiability JO - Prikladnaâ diskretnaâ matematika PY - 2020 SP - 101 EP - 107 IS - 1 UR - http://geodesic.mathdoc.fr/item/PDM_2020_1_a7/ LA - ru ID - PDM_2020_1_a7 ER -