| 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:
