Reed-Muller expansion

#	Item
1	An Algorithm for Bi-Decomposition of Logic Functions Alan Mishchenko Bernd Steinbach Marek Perkowski Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-03-22 12:41:00 Binary decision diagram Diagrams Model checking Decomposition method Reed-Muller expansion Function Mathematics Boolean algebra Mathematical logic
2	Minimization of Average Path Length in BDDs by Variable Reordering Shinobu NAGAYAMA1 Alan MISHCHENKO2 Tsutomu SASAO1,3 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-04-24 12:04:31 APL programming language family Array programming languages Computer programming Diagrams Binary decision diagram Model checking APL K Reed-Muller expansion Boolean algebra Computing Software engineering
3	Sequential Logic Synthesis Using Symbolic Bi-Decompsition Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:30:33 Electronic engineering Reed-Muller expansion Function Logic optimization Combinatory logic Canonical form Binary decision diagram Path decomposition Asynchronous logic Mathematics Mathematical logic Boolean algebra