Adjacency Graph of the SNF as Source of Information

  title={Adjacency Graph of the SNF as Source of Information},
  author={Bernd Steinbach Freiberg},
  • Bernd Steinbach Freiberg
  • Published 2006
The Specialized Normal Form (SNF) is a unique (canonical) representation of Exclusive Sum-Of-Products (ESOP) expressions of a Boolean function. The adjacency graph of the SNF takes the cubes of the SNF as labels of the vertices and connects such vertices by an edge which differ exactly in one variable of the associated cubes. It is known that each adjacency graph of the SNF of a Boolean function f : B → B is a k-regular graph. This paper shows, how differences between the vertices of this graph… CONTINUE READING
4 Citations
10 References
Similar Papers


Publications citing this paper.
Showing 1-4 of 4 extracted citations


Publications referenced by this paper.
Showing 1-10 of 10 references

Lukac : On SNF Optimization : a functional comparison of methods

  • V. Yanchurkin B. Steinbach, M.
  • Proceedings of the 6 th International Symposium…
  • 2003

Towards a General Novel Exact ESOP Minimization Methodology, in: Proceedings of the 6th International Symposium on Representations and Methodology of Future Computing Technology (RM

  • S. Stergios, P. George
  • 2003
1 Excerpt

Algorithm to derive minimum ESOP for 6-variable function, in: B. Steinbach: Boolean Problems

  • A. Gaidukov
  • Proceedings of the 5th International Workshops on…
  • 2002
1 Excerpt

Perkowski : A Fast Algorithm to Minimize MultiOutput MixedPolarity Generalized ReedMuller Forms

  • A. M.
  • Proc . DAC
  • 2002

Representation of Discrete Functions

  • T. Sasao, M. Fujita
  • Kluwer Academic Publishers,
  • 1996
1 Excerpt

Sasao : An Exact Minimization of ANDEXOR Expressions Using BDDs

  • T.
  • Proc . of IFIP WG 10 . 5 Workshop on Applications…
  • 1993

Mishchenko : SNF : A Special Normal Form for ESOPs

  • A.
  • Proceedings of the 5 th International Workshop on…

Similar Papers

Loading similar papers…