За технічних причин Електронний архів Харківського національного університету радіоелектроніки «ElAr КhNURE» працює тільки на перегляд. Про відновлення роботи у повному обсязі буде своєчасно повідомлено.
Кафедра медіаінженерії та інформаційних радіоелектронних систем (МІРЕС)
(Институт радиофизики и электроники им. А. Я. Усикова - научно-исследовательский институт Национальной академии наук Украины,, 2016) Miroshnik, M. A.; Tsekhmistro, R. I.; Demichev, А. I
Using elimination algorithms are promising for solving of the problem of propositional calculus
testing. These problems are widely used in the practical checking of digital electron circuits of
modern telecommunications. Based on the fuzzy logic, acyclic graph these algorithms provides
a way for typical presentations of SAT-problems.