An algorithm for total symmetric OBDD detection

1997-06-01

2

PRE

AI

DOI：10.1109/12.600890

Original request for help

Save

Abstract

En 中文

This paper presents an elegant and efficient algorithm for detection of symmetry in Boolean functions represented by OBDDs.

Keywords:

Boolean function

symmetry

algorithms

data structures

OBDD