Abstract: Addresses the problem of the detection of symmetries of Boolean functions. To know these symmetries may be important in several stages of logic ...
In this paper an improved method to detect the symmetries of a Boolean function is presented. Before using the naive symmetry check, we try to detect as many ...
The approach presented in this paper uses preprocessing methods to find as many asymmetric pairs of variables as possible to avoid cofactor computations at the ...
Detection of symmetry of Boolean functions represented by ROBDDs · Contents. ICCAD '93: Proceedings of the 1993 IEEE/ACM international conference on Computer- ...
Weber, “Detection of Symmetry of. Boolean functions Represented by ROBDDs,” in International Confer- ence on Computer-Aided Design, 1993, pp. 680–684. [13] ...
Binary Decision Diagrams (BDDs) are an efficient tree-based data structure for the representation of Boolean functions. A BDD for a Boolean functions f is a ...
symmetry detection for Boolean functions represented as ROBDDs. The al- gorithm builds upon the techniques used in the anytime algorithm presented in ...
This paper presents an efficient anytime algorithm for detecting symmetries in Boolean functions represented as ROBDDs, that output pairs of symmetric ...
The use of ROBDDs to represent Boolean functions enables not only the efficient computation of co-factors, but also equivalence to be checked in constant time.
People also ask
How do you test for symmetry of a function?
What is the representation of a Boolean function?
Jan 28, 2022 · Reduced Ordered Binary Decision Diagrams (ROBDDs) provide a dense and memory efficient representation of Boolean functions.