StackOverflow Questions for Tag: binary-decision-diagram

QianruZhou

Reputation: 41

Is that possible to generate an binary decision diagram(BDD) or multi-valued decision diagram (MDD) without truth table or decision tree?

logicbinary-decision-diagram

Score: 1

Answers: 0

ZakC

Reputation: 479

Proposing an algorithm for arbitrary shape Bit Matrix Transposition with BDD-like structure

algorithmmatrixbit-manipulationtransposebinary-decision-diagram

Score: 8

Answers: 1

hemant yadav

Reputation: 31

Storing BDD in a file using CUDD/DDDMP package?

binary-decision-diagramcudd

Score: 3

Answers: 2

Anton Krouglov

Reputation: 3399

What am I missing trying to call gcc-compiled code from MSVC?

c++gccvisual-c++binary-decision-diagramcudd

Score: 0

Answers: 0

CA_RS

Reputation: 41

Generation of Multi-Output BDD

binary-decision-diagramcudd

Score: 4

Answers: 1

farmerzhang1

Reputation: 51

memory management with cudd package

binary-decision-diagramcudd

Score: 1

Answers: 0

Spielzeug

Reputation: 37

Can a boolean expression be evaluated using its corresponding BDD (Binary Decision Diagram) in BuDDy?

boolean-logicboolean-expressionbinary-decision-diagram

Score: 0

Answers: 1

miketsui3a

Reputation: 301

How to find the complexity of decision trees in Tic Tac Toe by hand?

complexity-theorydecision-treetic-tac-toebinary-decision-diagram

Score: 1

Answers: 1

Vishal Tyagi

Reputation: 580

How to create BDDs with occurence bits involved using bag model

pythonbagbinary-decision-diagram

Score: 0

Answers: 1

Lance Pollard

Reputation: 79188

How to turn a Boolean Function into a Binary Decision Diagram

algorithmdata-structureslogicgraph-theorybinary-decision-diagram

Score: 3

Answers: 3

Brishna Batool

Reputation: 455

Exploration of State Space in NuSMV Source

model-checkingnusmvbinary-decision-diagram

Score: 2

Answers: 1

nirvair

Reputation: 4180

Composition of ROBDD

algorithmcompositionboolean-logicbinary-decision-diagram

Score: 2

Answers: 1

mark

Reputation: 454

ddcal is not working

logicmodel-checkingbinary-decision-diagram

Score: 0

Answers: 1

HelloWorld

Reputation: 47

How can I replace some variables in a BDD by CUDD package？

model-checkingbinary-decision-diagramcudd

Score: 2

Answers: 2

A.J.X

Reputation: 55

CUDD: Manipulation of BDDs

binarybinary-decision-diagramcudd

Score: 3

Answers: 2

Marc

Reputation: 19

CUDD: Access BDD childs

c++binary-decision-diagramcudd

Score: 1

Answers: 2

user12928042

Reputation:

Boolean expression for modified Queens problem

algorithmbooleanboolean-expressionbinary-decision-diagram

Score: 1

Answers: 1

prdnr

Reputation: 182

Efficiently create structured binary decision diagram

data-structuressatboolean-algebrabinary-decision-diagrampyeda

Score: 1

Answers: 1

user12928042

Reputation:

Looking for applications of BDDs to problems involving x,y concept

linear-programmingcoordinate-systemsbinary-decision-diagram

Score: 0

Answers: 1

Daniel Miedema

Reputation: 161

CUDD: Quantification of ZDDs

model-checkingquantifiersbinary-decision-diagramcudd

Score: 4

Answers: 2

PreviousPage 1Next