Reduction algorithms for solving large systems of logical equations

Large systems of logical equations are considered in this paper, each depending on a restricted number of variables. A method of reduction is suggested that reduces the number of roots in separate equations, which in its turn saves time spent for finding roots of the whole system. Three mechanisms o...

Full description

Bibliographic Details
Main Author: A.Zakrevskij
Format: Article
Language:English
Published: Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova 2000-05-01
Series:Computer Science Journal of Moldova
Online Access:http://www.math.md/nrofdownloads.php?file=/files/csjm/v8-n1/v8-n1-(pp3-15).pdf

Similar Items