1 |
Transformations of Boolean Functions
|
|
Dudek, Jeffrey M.; Fried, Dror. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. : LIPIcs - Leibniz International Proceedings in Informatics. 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), 2019
|
|
BASE
|
|
Show details
|
|
2 |
Boolean Normal Forms, Shellability, And Reliability Computations
|
|
|
|
In: http://rutcor.rutgers.edu/~boros/Papers/BCEHIK00-SIDMA.pdf (2000)
|
|
BASE
|
|
Show details
|
|
3 |
Global Optimization of Digital Circuits.
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
4 |
A channelless layout for multilevel synthesis with compiled cells
|
|
|
|
In: Proceedings.-1989-IEEE-International-Conference-on-Computer-Design:-VLSI-in-Computers-and-Processors-Cat.-No.89CH2794-6 ; https://hal.archives-ouvertes.fr/hal-00015347 ; Proceedings.-1989-IEEE-International-Conference-on-Computer-Design:-VLSI-in-Computers-and-Processors-Cat.-No.89CH2794-6, 1989, Cambridge, MA, United States. pp.35-8, ⟨10.1109/ICCD.1989.63323⟩ (1989)
|
|
BASE
|
|
Show details
|
|
5 |
The Revised Revised Report on Scheme or an Uncommon Lisp
|
|
|
|
In: DTIC AND NTIS (1985)
|
|
BASE
|
|
Show details
|
|
6 |
Mechanical Intelligence: Research and Applications
|
|
|
|
In: DTIC AND NTIS (1977)
|
|
BASE
|
|
Show details
|
|
7 |
A Boolean Matrix Method for the Computation of Linear Precedence Functions
|
|
|
|
In: DTIC AND NTIS (1972)
|
|
BASE
|
|
Show details
|
|
8 |
Lexicographic Orders, Utilities and Decision Rules: A Survey.
|
|
|
|
In: DTIC AND NTIS (1972)
|
|
BASE
|
|
Show details
|
|
|
|