Results 291 to 300 of about 11,440 (300)

Binary decision diagrams

2004
openaire   +1 more source

A reduction approach to improve the quantification of linked fault trees through binary decision diagrams

Reliability Engineering and System Safety, 2010
Antoine Rauzy
exaly  

Binary Decision Diagrams

2003
openaire   +1 more source

Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams

Lecture Notes in Computer Science, 2016
Martin Jonas, Jan Strejček, Jonas Martin   +2 more
exaly  

Binary decision diagrams for first-order predicate logic

The Journal of Logic and Algebraic Programming, 2003
Jan Friso Groote, Olga Tveretina
exaly  

Some disturbing facts about depth-first left-most variable ordering heuristics for binary decision diagrams

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2008
exaly  

Ordered Binary Decision Diagrams

2002
Randal E. Bryant, Christoph Meinel
openaire   +1 more source

Partial binary decision diagrams

Mitchell A Thornton
exaly  

Binary Decision Diagrams (BDDs)

2006
openaire   +2 more sources

3. Binary Decision Diagram

2013
openaire   +1 more source