Boolean satisfiability and equivalence checking using general Binary Decision Diagrams

Integration ◽

10.1016/0167-9260(92)90015-q ◽

1992 ◽

Vol 13 (1) ◽

pp. 1-16 ◽

Author(s):

Pranav Ashar ◽

Abhijit Ghosh ◽

Srinivas Devadas

Keyword(s):

Binary Decision Diagrams ◽

Boolean Satisfiability ◽

Equivalence Checking ◽

Decision Diagrams ◽

Binary Decision

Download Full-text

Boolean satisfiability and equivalence checking using general binary decision diagrams

[1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors ◽

10.1109/iccd.1991.139893 ◽

2002 ◽

Author(s):

P. Ashar ◽

A. Ghosh ◽

S. Devadas

Keyword(s):

Binary Decision Diagrams ◽

Boolean Satisfiability ◽

Equivalence Checking ◽

Decision Diagrams ◽

Binary Decision

Download Full-text

Combinational equivalence checking using Boolean satisfiability and binary decision diagrams

Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001 ◽

10.1109/date.2001.915011 ◽

2002 ◽

Author(s):

S. Reda ◽

A. Salem

Keyword(s):

Binary Decision Diagrams ◽

Boolean Satisfiability ◽

Equivalence Checking ◽

Decision Diagrams ◽

Binary Decision

Download Full-text

Strategies for solving the Boolean satisfiability problem using binary decision diagrams

Journal of Systems Architecture ◽

10.1016/s1383-7621(01)00011-x ◽

2001 ◽

Vol 47 (6) ◽

pp. 491-503 ◽

Author(s):

Priyank Kalla ◽

Zhihong Zeng ◽

Maciej J. Ciesielski

Keyword(s):

Binary Decision Diagrams ◽

Boolean Satisfiability ◽

Satisfiability Problem ◽

Decision Diagrams ◽

Binary Decision ◽

Boolean Satisfiability Problem

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

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 ◽

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 ◽

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 ◽

Author(s):

M. Fujita ◽

Y. Matsunaga ◽

T. Kakuda

Keyword(s):

Binary Decision Diagrams ◽

Logic Synthesis ◽

Decision Diagrams ◽

Binary Decision ◽

Variable Ordering ◽

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 ◽

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 ◽

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