(Институт радиофизики и электроники им. А. Я. Усикова - научно-исследовательский институт Национальной академии наук Украины,, 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.