The following pages link to Alexey V. Tarasov (Q314176):
Displaying 18 items.
- Functions without short implicants. I: Lower estimates of weights (Q314177) (← links)
- Functions without short implicants. II: Construction (Q314214) (← links)
- Maximal groups of invariant transformations of multiaffine, bijunctive, weakly positive, and weakly negative Boolean functions (Q3225874) (← links)
- Стабилизаторы некоторых семейств булевых функций от $n$ переменных, образующих Галуа-замкнутые подалгебры алгебры Шефера. II (Q3381898) (← links)
- О весах булевых функций, представимых в виде $2$-КНФ или $3$-КНФ (Q3382008) (← links)
- О методах оценивания веса булевых биюнктивных функций (Q3382043) (← links)
- Параметры метода максимального правдоподобия при его использовании для решения систем дважды биюнктивных уравнений с искаженными правым (Q3383124) (← links)
- Булевы биюнктивные функции, графы 2-КНФ и их порядковые функции. Оценки веса биюнктивной функции с заданным числом слоев (Q3383139) (← links)
- On properties of functions representable in the form of a 2-CNF (Q4809549) (← links)
- Some properties of the inertia groups of Boolean bijunctive functions and an inductive method of generating such functions (Q4809571) (← links)
- On the number of bijunctive functions invariant with respect to a given permutation (Q4809585) (← links)
- A generalisation of Schaefer’s bijunctivity criterion (Q4917391) (← links)
- Универсальные алгебры, порождаемые множествами выполняющих векторов биюнктивных и $r$-юнктивных булевых функций (Q4959022) (← links)
- Cвойства систем образующих универсальных алгебр, порождаемых булевыми биюнктивными функциями (Q4959044) (← links)
- О булевых функциях без верхних биюнктивных аналогов (Q4959064) (← links)
- Классы Шефера, классы Поста и соответствия Галуа (Q5152379) (← links)
- Стабилизаторы некоторых семейств булевых функций, образующих Галуа-замкнутые подалгебры алгебры Шефера (Q5152408) (← links)
- Об одном методе построения следствий специального вида для систем булевых уравнений;On a method to construct special type corollaries for systems of Boolean equations (Q6167585) (← links)