Variable ordering heuristics for BDD based on minimal cutsets
Fecha
2008-05-18Estado
info:eu-repo/semantics/publishedVersionMetadatos
Mostrar el registro completo del ítemResumen
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