Results 241 to 250 of about 2,176 (251)

Size and structure of random ordered binary decision diagrams

Lecture Notes in Computer Science, 2005
Hans Jürgen Promel, Anand Srivastav, Promel Hans Jürgen   +2 more
exaly  

Interleaving based variable ordering methods for ordered binary decision diagrams

Proceedings of 1993 International Conference on Computer Aided Design (ICCAD), 2002
Hiroshige Fujii, Goichi Ootomo, Chikahiro Hori   +2 more
openaire   +1 more source

Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
Rolf Drechsler
exaly  

Translation among CNFs, characteristic models and ordered binary decision diagrams

Information Processing Letters, 2003
Takashi Horiyama
exaly  

Medical Image Compression Based on Ordered Binary Decision Diagrams

2009
Chungui Li
exaly  

Algorithms for Reduced Ordered Binary Decision Diagrams.

Arch. Formal Proofs, 2016
Julius Michaelis, Max W. Haslbeck, Peter Lammich, Lars Hupel   +3 more
openaire   +1 more source

3. Ordered Binary Decision Diagrams (OBDDs)

2000
openaire   +1 more source

Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization

IEEE Transactions on Evolutionary Computation
Rune Krauss, Rolf Drechsler
openaire   +1 more source

Synthesis on multiplexer-based programmable devices using (ordered) binary decision diagrams

exaly  

Ordered binary decision diagrams and circuit structure

exaly