Application of Logic Differential Calculus and Binary Decision Diagrams in Detection of Minimal Cut Vectors

2019 ◽  
Author(s):  
Miroslav Kvassay ◽  
Patrik Rusnak ◽  
Elena Zaitseva ◽  
Jozef Kostolny
Keyword(s):  
Differential Calculus ◽  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Minimal Cut

Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification

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
Sign in / Sign up

Export Citation Format

Share Document