Results 231 to 240 of about 50,577 (261)

On the Minimization of (Complete) Ordered Binary Decision Diagrams

Theory of Computing Systems, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

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

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

Binary Decision Diagrams

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

Reduced ordered binary decision diagram-based combinational circuit synthesis for optimising area, power and temperature

International Journal of Nanoparticles, 2019
Apangshu Das, Sambhu Nath Pradhan
exaly   +2 more sources

Reliability analysis for command‐and‐control systems based on edge extension diagram and binary decision diagram

Quality and Reliability Engineering International, 2023
Hong-Zhong Huang, Yifan Li
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

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

Applied Mathematical Modelling, 2022
Abdullah Alkaff
exaly  

Binary Decision Diagrams

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

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

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