Abstract | ||
---|---|---|
No abstract available.
|
Year | DOI | Venue |
---|---|---|
1992 | 10.1109/DAC.1992.227865 | DAC |
Keywords | Field | DocType |
generation of primes,logic cad,many-valued logics,characteristic-cube function,multiple-valued functions,symbolic representation,multiple-valued function,implicit representation,binary decision diagram,symbolic prime generation,boolean formulas,boolean functions,data structures,exact solution,encoding,logic synthesis | Boolean function,The Symbolic,Prime (order theory),Discrete mathematics,Algebra,Characteristic function (probability theory),Computer science,Binary decision diagram,Function representation,Cube,Computation | Conference |
ISSN | ISBN | Citations |
0738-100X | 978-0-89791-516-8 | 10 |
PageRank | References | Authors |
2.81 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bill Lin | 1 | 1058 | 153.78 |
Olivier Coudert | 2 | 665 | 104.87 |
J. C. Madre | 3 | 288 | 74.87 |