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...
| Main Author: | |
|---|---|
| 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 |