BNSAT: Representing Boolean Functions in a Non-Canonical Form

TitleBNSAT: Representing Boolean Functions in a Non-Canonical Form
Publication TypeConference Proceedings
Year of Conference2004
AuthorsSaiz, J.,, Cortadella, J, Ribas, L, Carrabina, J
Conference NameXIX Conference on Design of Circuits and Integrated Systems
Conference LocationBordeaux, France
ISBN2-9522971-0-X
Taxonomy upgrade extras: 
Campus d'excel·lència internacional U A B