Algorithm for searching prohibitions of boolean functions
An algorithm for search of prohibitions of Boolean function based on the branch and bound method is proposed. It allows to find a prohibition of Boolean function, a prohibition of minimum length or all prohibitions under a specified length.
Download file
Counter downloads: 297
Keywords
запрет булевой функции, граф де Брёйна, prohibition of Boolean function, de Bruijn graphAuthors
| Name | Organization | |
| Ryabokon D. V. | Tomsk State University | ryabokon.denis@ya.ru |
References
