| Article ID: | iaor20043300 |
| Country: | Belarus |
| Volume: | 47 |
| Issue: | 2 |
| Start Page Number: | 58 |
| End Page Number: | 60 |
| Publication Date: | Mar 2003 |
| Journal: | Doklady of the National Academy of Sciences of Belarus |
| Authors: | Zakrevskii A.D. |
Two new combinatorial methods are suggested for finding a shortest solution of a system of linear logical equations. They are based on changing one canonical form of the system to several ones, which allows lowering substantially the level of search for solutions, and whence reducing the whole runtime.