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 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PDM_2020_1_a7/ LA - ru ID - PDM_2020_1_a7 ER -