Results 201 to 210 of about 61,529 (217)

Symbolic Boolean manipulation with ordered binary-decision diagrams

ACM Computing Surveys, 1992
Randal Bryant
exaly  

A novel decision diagrams extension method

Reliability Engineering and System Safety, 2014
Hongyan Dui, Shumin Li, Zhiqiang Cai
exaly  

Decision Diagrams

2001
Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller   +2 more
openaire   +1 more source

Representation and Solution of Decision Problems Using Sequential Decision Diagrams

Management Science, 1995
Robert M Oliver
exaly  

Decision Diagrams

1998
Rolf Drechsler, Bernd Becker
openaire   +1 more source

Sylvan: multi-core framework for decision diagrams

International Journal on Software Tools for Technology Transfer, 2016
Tom van Dijk, Jaco van de Pol
exaly  

Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems

IEEE Transactions on Reliability, 2010
Liudong Xing, Yuanshun Dai
exaly  

Decision Making in Oncology: A Review of Patient Decision Aids to Support Patient Participation†

Ca-A Cancer Journal for Clinicians, 2008
Carol L Bennett, Rajiv Samant
exaly  

Optimal decision-making via binary decision diagrams for investments under a risky environment

International Journal of Production Research, 2017
Benjamin Lev, Alberto Pliego Marugan
exaly  

Optimization Bounds from Binary Decision Diagrams

INFORMS Journal on Computing, 2014
Andre Augusto Cire, Willem-Jan van Hoeve, David Bergman   +2 more
exaly