Searching for authors named "Alan Mishchenko" – sorted by Relevance.
52 documents found, showing 1 through 10.
Next 10 →
-
Implicit Representation of Discrete Objects
- …Abstract Implicit Representation of Discrete Objects Alan Mishchenko Portland State University…
- Add To MetaCart
-
An introduction to zero-suppressed binary decision diagrams
- …An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department…
- Cited by 7 (0 self) – Add To MetaCart
-
Fast Computation of Symmetries in Boolean Functions
- …Fast Computation of Symmetries in Boolean Functions Alan Mishchenko Department of EECS, UC…
- Cited by 9 (4 self) – Add To MetaCart
-
Exploring multi-valued minimization using binary methods
- …Exploring Multi-Valued Minimization Using Binary Methods Alan Mishchenko Department of EECS UC…
- Cited by 1 (1 self) – Add To MetaCart
-
An algorithm for bi-decomposition of logic functions
- …An Algorithm for Bi-Decomposition of Logic Functions Alan Mishchenko Portland State University B…
- Cited by 23 (5 self) – Add To MetaCart
-
Scalable sequential verification
- …Scalable Sequential Verification Robert Brayton Alan Mishchenko EECS Department, University…
- Cited by 1 (0 self) – Add To MetaCart
-
Logic Synthesis of Reversible Wave Cascades
- … switching) and because of the loss of information. While the first Portland Quantum Logic Group Alan…
- Cited by 19 (6 self) – Add To MetaCart
-
SNF: A Special Normal Form for ESOPs
- …SNF: A Special Normal Form for ESOPs Bernd Steinbach Alan Mishchenko Freiberg University of Mining…
- Cited by 4 (2 self) – Add To MetaCart
-
Logic Synthesis of LUT Cascades with Limited Rails -- A Direct Implementation of Multi-Output Functions
- … - A Direct Implementation of Multi-Output Functions - Alan MISHCHENKO † and Tsutomu SASAO…
- Cited by 1 (0 self) – Add To MetaCart
-
Fast Heuristic Minimization of Exclusive-Sums-of-Products
- …. Alan Mishchenko and Marek Perkowski Department of Electrical and Computer Engineering Portland State…
- Cited by 18 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
