Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-030-94479-7_13 ◽

2022 ◽

pp. 191-207

Author(s):

Fabio Tardivo ◽

Enrico Pontelli

Keyword(s):

Decision Diagrams ◽

Sequencing Problems

Download Full-text

Multivalued Decision Diagrams for Sequencing Problems

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-10428-7_67 ◽

2014 ◽

pp. 918-922

Author(s):

Andre A. Ciré ◽

Willem-Jan van Hoeve

Keyword(s):

Decision Diagrams ◽

Sequencing Problems

Download Full-text

Multivalued Decision Diagrams for Sequencing Problems

Operations Research ◽

10.1287/opre.2013.1221 ◽

2013 ◽

Vol 61 (6) ◽

pp. 1411-1428 ◽

Cited By ~ 44

Author(s):

Andre A. Cire ◽

Willem-Jan van Hoeve

Keyword(s):

Decision Diagrams ◽

Sequencing Problems

Download Full-text

Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e97.a.1171 ◽

2014 ◽

Vol E97.A (6) ◽

pp. 1171-1179

Author(s):

Yuma INOUE ◽

Takahisa TODA ◽

Shin-ichi MINATO

Keyword(s):

Decision Diagrams ◽

Pattern Avoiding Permutations

Download Full-text

Analyzing fault tolerance using DREDD (Dependability and Risk Evaluation using Decision Diagrams)

10.2514/6.1995-952 ◽

1995 ◽

Cited By ~ 3

Author(s):

Stacy Doyle ◽

Joanne Dugan

Keyword(s):

Fault Tolerance ◽

Risk Evaluation ◽

Decision Diagrams

Download Full-text

Software Library for Teaching Applications of Binary Decision Diagrams in Reliability Analysis

2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA) ◽

10.1109/iceta51985.2020.9379170 ◽

2020 ◽

Author(s):

Michal Mrena ◽

Miroslav Kvassay ◽

Radomir S. Stankovic

Keyword(s):

Reliability Analysis ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Software Library ◽

Binary Decision

Download Full-text

Dynamic minimization of bi-kronecker functional decision diagrams

Proceedings of the 39th International Conference on Computer-Aided Design ◽

10.1145/3400302.3415618 ◽

2020 ◽

Author(s):

Xuanxiang Huang ◽

Haipeng Che ◽

Liangda Fang ◽

Qingliang Chen ◽

Quanlong Guan ◽

...

Keyword(s):

Decision Diagrams

Download Full-text

Approximation of Quantum States Using Decision Diagrams

2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC) ◽

10.1109/asp-dac47756.2020.9045454 ◽

2020 ◽

Cited By ~ 1

Author(s):

Alwin Zulehner ◽

Stefan Hillmich ◽

Igor L. Markov ◽

Robert Wille

Keyword(s):

Quantum States ◽

Decision Diagrams

Download Full-text

Probabilistic equivalence checking based on high-level decision diagrams

14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems ◽

10.1109/ddecs.2011.5783130 ◽

2011 ◽

Cited By ~ 2

Author(s):

Anton Karputkin ◽

Raimund Ubar ◽

Mati Tombak ◽

Jaan Raik

Keyword(s):

Equivalence Checking ◽

Decision Diagrams ◽

High Level

Download Full-text

Method of input variable partitioning in functional decomposition based on evolutionary algorithm and binary decision diagrams

2008 Conference on Human System Interactions ◽

10.1109/hsi.2008.4581408 ◽

2008 ◽

Cited By ~ 2

Author(s):

Pawel Morawiecki ◽

Mariusz Rawski

Keyword(s):

Evolutionary Algorithm ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Functional Decomposition

Download Full-text

Binary Decision Diagrams: From Abstract Representations to Physical Implementations

20th Design Automation Conference Proceedings ◽

10.1109/dac.1983.1585710 ◽

1983 ◽

Cited By ~ 2

Author(s):

J.S. Matos ◽

J.V. Oldfield

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Abstract Representations

Download Full-text