Branching programs and binary decision diagrams theory and applications - Wegener, Ingo 1950-2008 (Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 2000)
Keywords: Mathematisches Modell; Branching processes; Decision making / Mathematical models; Computational complexity; OBDD; Verzweigendes Programm; Komplexitätstheorie; Verzweigungsprozess