Variable ordering heuristics for BDD based on minimal cutsets
View/ Open
Date
2008-05-18Estado
info:eu-repo/semantics/publishedVersionMetadata
Show full item recordAbstract
Variable ordering heuristics for BDD based on minimal cutsets
Tipo de Actividad
Capítulos en librosMaterias/ categorías / ODS
Instituto de Investigación Tecnológica (IIT)Palabras Clave
Probabilistic Safety Assessment, Minimal Cutsets, Binary Decision Diagrams, Variable Ordering Heuristics