• Analýza rozsahu proměnných s využitím teorie grafů 

      Autor: Hoang Nam Tran; Vedoucí práce: Nagyová Ingrid; Oponent práce: Dupák Jakub
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-13)
      Tato práce se zabývá analýzou rozsahu proměnných za použití barvení grafu. Konkrétně je popsána teorie k barvení grafů a konstrukce grafu na barvení. Poté popisuje teorii za konstrukcí grafu toku řízení a grafu interference ...