Title | BNSAT: Representing Boolean Functions in a Non-Canonical Form |
Publication Type | Conference Proceedings |
Year of Conference | 2004 |
Authors | Saiz, J.,, Cortadella, J, Ribas, L, Carrabina, J |
Conference Name | XIX Conference on Design of Circuits and Integrated Systems |
Conference Location | Bordeaux, France |
ISBN | 2-9522971-0-X |
Taxonomy upgrade extras: