Prohlížení katedry dle předmětu "propositional satisfiability"

Zobrazují se záznamy 1-1 z 1

    • 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 ...