Prohlížení Bakalářské práce - 18105 dle předmětu "SAT"

Zobrazují se záznamy 1-3 z 3

    • Evaluace frameworku SEAGE 

      Autor: David Omrai; Vedoucí práce: Smítková Janků Ladislava; Oponent práce: Šimánek Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-12)
      Tato práce je zaměřena na zhodnocení optimalizačního frameworku SEAGE z pohledu aktuálního stavu výzkumu v oblasti hyper-heuristik, a to s využitím nové metriky, která algoritmy ohodnocuje objektivně dle kvality jejich ...

    • Multi-agentní hledání cest s více cíli pomocí výrokové splnitelnosti 

      Autor: Štěpán Tupý; Vedoucí práce: Surynek Pavel; Oponent práce: Starý Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-15)
      Tato práce se zabývá hledáním optimálního řešení problému multi-agentního hledání cest s více cíli (MG-MAPF), který je zobecněním multi-agentního hledání cest (MAPF). Úkolem v problému MG-MAPF je nalezení nekonfliktní cesty ...

    • Použití logické syntézy pro usnadnění řešení SAT problému 

      Autor: Jan Kimr; Vedoucí práce: Fišer Petr; Oponent práce: Hülle Robert
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-19)
      Tato práce se zabývá možností využití logické syntézy a optimalizace ke zrychlení řešení instancí problému splnitelnosti (SAT) pocházejících ze standardních benchmarků i praktických aplikací. Logická syntéza může v principu ...