Evolution of the Boolean function manipulation
Solving large systems of Boolean equations is a hard combinatorial problem. It can be greatly facilitated by preliminarily reducing the number of roots in separate equations which, in turn, leads to a reduction in the number of variables, equations and time complexity. This can have a significant ef...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2002
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/id/eprint/16557/ http://ir.unimas.my/id/eprint/16557/1/Evolution%20of%20the%20Boolean%20Function%20Manipulation%20%28abstract%29.pdf |