In this paper we present a new data structure for representing Boolean functions and an associated set of manipulation algorithms. Functions are represented by directed, acyclic graphs in a manner similar to the representations introduced by Lee [1] and Akers [2], but with further restrictions on th...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!