NA Avdeev, PN Bibilo - Journal of Computer and Systems Sciences …, 2016 - Springer
In this paper, we describe the results of the experimental comparison of programs that
implement various decomposition methods for disjunctive normal forms of systems of …