Results 151 to 160 of about 9,112 (162)

Ordered binary decision diagrams as knowledge-bases

Artificial Intelligence, 2002
Takashi Horiyama
exaly  

Extended resolution simulates binary decision diagrams

Discrete Applied Mathematics, 2008
Nicolas Peltier
exaly  

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
Jan Strejček, Martin Jonas, 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

Binary Decision Diagrams (BDDs)

2006
openaire   +2 more sources