LIBROS DEL AUTOR: rudiger ebendt

1 resultados para LIBROS DEL AUTOR: rudiger ebendt

rudiger ebendt Eliminar filtro Quitar filtros
  • Advanced BDD Optimization
    Görschwin Fey / Rolf Drechsler / Rudiger Ebendt
    Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binary Decision Diagrams.- 3. Exact node Minimization. 3.1. Branch and Bound Algorithm. 3.2. A*-Based Optimization. 3.3. Summary.- 4. Heuristic node Minimization. 4.1. Efficient Dynamic Minimization. 4.2. Improved Lower Bounds for Dyna...
    Disponible

    195,67 €