20 search results - page 1 / 4 » Compact Representations of Logic Functions using Heterogeneo... |
184
Voted
ISMVL
2003
IEEE
16 years 7 days ago
2003
IEEE
In this paper, we propose a compact representation of logic functions using Multi-valued Decision Diagrams (MDDs) called heterogeneous MDDs. In a heterogeneous MDD, each variable ...
205
Voted
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a method to represent elementary functions such as trigonometric, logarithmic, square root, and reciprocal functions using edge-valued multi-valued decision di...
191
Voted
ASPDAC
2004
ACM
16 years 12 days ago
2004
ACM
Abstract— In this paper, we propose exact and heuristic algorithms for minimizing the memory size for heterogeneous Multivalued Decision Diagrams (MDDs). In a heterogeneous MDD, ...
173
click to vote
ISMVL
2002
IEEE
15 years 12 months ago
2002
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...
187
Voted
JELIA
2004
Springer
16 years 10 days ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...