Detecting symmetric variables in Boolean functions using generalized Reed-Muller forms

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn 1, Issue , 1994, Pages 287-290

  Tsai, Chien Chung ^a   Marek Sadowska, Malgorzata ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BINARY SEQUENCES; COMPUTER CIRCUITS; DATA STRUCTURES; FUNCTION EVALUATION; SOFTWARE ENGINEERING;

BDD PACKAGE; BENCHMARK CIRCUITS; DETECTING SYMMETRIES; GENERALIZED REED MULLER FORMS; SYMMETRIC VARIABLES;

BOOLEAN FUNCTIONS;

EID: 0028594637     PISSN: 02714310     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)