Results 71 to 80 of about 239 (85)

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 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  

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  

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

Information Processing Letters, 2006
Stephan Waack
exaly  

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

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

On the error resilience of ordered binary decision diagrams

Theoretical Computer Science, 2015
Valentina Ciriani, Anna Bernasconi
exaly  

Optimal ordered binary decision diagrams for read-once formulas

Discrete Applied Mathematics, 2000
Martin Sauerhoff, Ingo Wegener
exaly  

On the Minimization of (Complete) Ordered Binary Decision Diagrams

Theory of Computing Systems, 2015
Beate Bollig, Bollig Beate
exaly