Results 71 to 80 of about 239 (84)

OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams

Proceedings of the 34th ACM International Conference on Information and Knowledge Management
Junming Qiu, Rongzhen Ye, Weilin Luo, Kunxun Qi, Hai Wan, Yue Yu 0001   +5 more
openaire   +1 more source

Symbolic Boolean manipulation with ordered binary-decision diagrams

ACM Computing Surveys, 1992
Randal E Bryant
exaly  

Reduction of OBDDs in linear time

Information Processing Letters, 1993
Detlef Sieling, Ingo Wegener
exaly  

Reasoning with ordered binary decision diagrams

Discrete Applied Mathematics, 2004
Takashi Horiyama
exaly  

Forward and inverse transformations between Haar spectra and ordered binary decision diagrams of Boolean functions

IEEE Transactions on Computers, 1997
B J Falkowski, Chip-Hong Chang
exaly  

Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance

Information Processing Letters, 2006
Stephan Waack
exaly  

Comparative complexity of quantum and classical OBDDs for total and partial functions

Russian Mathematics, 2015
Aida Gainutdinova
exaly  

Variable ordering algorithms for ordered binary decision diagrams and their evaluation

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
Hironori Fujisawa
exaly  

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  

On the error resilience of ordered binary decision diagrams

Theoretical Computer Science, 2015
Anna Bernasconi, Valentina Ciriani
exaly