baizhumanov-a 1
1. Algorithms for Solving Systems of Boolean Equations Based on the Transformation of Logical Expressions
2. On the Completeness of Classes of Correcting Functions of Heuristic Algorithms
3. ON THE MINIMIZATION OF k-VALUED LOGIC FUNCTIONS IN THE CLASS OF DISJUNCTIVE NORMAL FORMS
4. Synthesis of Optimal Correction Functions in the Class of Disjunctive Normal Forms
1