Results 231 to 240 of about 50,489 (260)

On the Width of Ordered Binary Decision Diagrams

2014
Ordered binary decision diagrams (OBDDs) are a popular data structure for Boolean functions. One of its complexity measures is the width which has been investigated in several areas in computer science like machine learning, property testing, and the design and analysis of implicit graph algorithms.
openaire   +1 more source

Binary Decision Diagrams

2010
Beate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener   +3 more
openaire   +2 more sources

Binary Decision Diagrams

1999
Shin-ichi Minato, Saburo Muroga
openaire   +2 more sources

State space and binary decision diagram models for discrete standby systems with multistate components

Applied Mathematical Modelling, 2022
Abdullah Alkaff
exaly  

Evasiveness Through Binary Decision Diagrams

2023
Aransay, Jesús [0000-0002-4079-8307], Lambán, Laureano [0000-0003-2383-2689], Rubio, Julio [0000-0002-4282-3692]   +2 more
openaire   +2 more sources

Binary Decision Diagrams

2017
Alberto Pliego Marugán, Fausto Pedro García Márquez   +1 more
openaire   +1 more source

Two-way switch for binary decision diagram logic using silicon single-electron transistors

Microelectronic Engineering, 2004
Z A K Durrani
exaly   +2 more sources

Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements

Theoretical Computer Science, 2020
Jia Lee
exaly  

Efficient Ordering Heuristics in Binary Decision Diagram–based Fault Tree Analysis

Quality and Reliability Engineering International, 2013
Huawen Liu, Quansheng Yang
exaly  

A Logarithmic Binary Decision Diagram-Based Method for Multistate System Analysis

IEEE Transactions on Reliability, 2008
Liudong Xing, Akhilesh Shrestha
exaly