| Article ID: | iaor20072515 |
| Country: | Belarus |
| Volume: | 50 |
| Issue: | 5 |
| Start Page Number: | 28 |
| End Page Number: | 29 |
| Publication Date: | Sep 2006 |
| Journal: | Doklady of the National Academy of Sciences of Belarus |
| Authors: | Zakrevskij A.D. |
A new algorithm is suggested for checking a Boolean function for decomposability on a given division of variables. It is based on the vector representation of the well-known condition of a decomposability and on using parallel componentwise operations over Boolean vectors which represent regarded functions.