ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form
IEEE Journal on Emerging and Selected Topics in Circuits and Systems
◽
10.1109/jetcas.2014.2361058
◽
2014
◽
Vol 4
(4)
◽
pp. 487-500
◽
Cited By ~ 11
Author(s):
Luca Amaru
◽
Pierre-Emmanuel Gaillardon
◽
Giovanni De Micheli
Keyword(s):
Binary Decision Diagrams
◽
Decision Diagrams
◽
Binary Decision
◽
Representation Form
◽
Logic Representation
Download Full-text
Related Documents
Cited By
References
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
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
On variable ordering of binary decision diagrams for the application of multi-level logic synthesis
10.1109/edac.1991.206358
◽
2002
◽
Cited By ~ 114
Author(s):
M. Fujita
◽
Y. Matsunaga
◽
T. Kakuda
Keyword(s):
Binary Decision Diagrams
◽
Logic Synthesis
◽
Decision Diagrams
◽
Binary Decision
◽
Variable Ordering
◽
Multi Level
Download Full-text
On the Minimization of (Complete) Ordered Binary Decision Diagrams
Theory of Computing Systems
◽
10.1007/s00224-015-9657-x
◽
2015
◽
Vol 59
(3)
◽
pp. 532-559
◽
Cited By ~ 3
Author(s):
Beate Bollig
Keyword(s):
Binary Decision Diagrams
◽
Decision Diagrams
◽
Ordered Binary Decision Diagrams
◽
Binary Decision
Download Full-text
Numerical Function Generators Using Edge-Valued Binary Decision Diagrams
2007 Asia and South Pacific Design Automation Conference
◽
10.1109/aspdac.2007.358041
◽
2007
◽
Cited By ~ 1
Author(s):
Shinobu Nagayama
◽
Tsutomu Sasao
◽
Jon T. Butler
Keyword(s):
Binary Decision Diagrams
◽
Decision Diagrams
◽
Numerical Function
◽
Binary Decision
◽
Function Generators
Download Full-text
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
10.23919/date51398.2021.9474083
◽
2021
◽
Author(s):
Gianpiero Cabodi
◽
Paolo E. Camurati
◽
Alexey Ignatiev
◽
Joao Marques-Silva
◽
Marco Palena
◽
...
Keyword(s):
Machine Learning
◽
Binary Decision Diagrams
◽
Decision Diagrams
◽
Binary Decision
◽
Machine Learning Classification
◽
Interpretable Machine Learning
Download Full-text
Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison
10.3850/978-981-18-2016-8_241-cd
◽
2021
◽
Author(s):
Lisandro A.Jimenez-Roa
◽
Tom Heskes
◽
Marielle Stoelinga
Keyword(s):
Decision Trees
◽
Binary Decision Diagrams
◽
Decision Diagrams
◽
Binary Decision
◽
Fault Trees
◽
Systematic Comparison
Download Full-text
Comparison of Left Fold and Tree Fold Strategies in Creation of Binary Decision Diagrams
2021 International Conference on Information and Digital Technologies (IDT)
◽
10.1109/idt52577.2021.9497593
◽
2021
◽
Author(s):
Michal Mrena
◽
Miroslav Kvassay
Keyword(s):
Binary Decision Diagrams
◽
Decision Diagrams
◽
Binary Decision
Download Full-text
Cost-Bounded Binary Decision Diagrams for 0-1 Programming
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - Lecture Notes in Computer Science
◽
10.1007/978-3-540-72397-4_7
◽
2007
◽
pp. 84-98
◽
Cited By ~ 13
Author(s):
Tarik Hadžić
◽
J. N. Hooker
Keyword(s):
Binary Decision Diagrams
◽
Decision Diagrams
◽
Binary Decision
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close