• Multi-agentní hledání cest jako problém splňování omezení 

      Autor: Miroslav Fáč; Vedoucí práce: Surynek Pavel; Oponent práce: Schmidt Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-14)
      V této práci zkoumáme aplikaci formalismů Problému splnění omezení (CSP) na úlohu multi-agentního vyhledávání cest (MAPF), což je problém tradičně řešený metodami založenými na problému splnitelnosti booleovské formule ...
    • Rozmisťování objektů pro 3D tisk jako problém s omezeními 

      Autor: Lukáš Pokorný; Vedoucí práce: Surynek Pavel; Oponent práce: Schmidt Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-14)
      Tato práce se bude zabývat rozmístěním 3D objektů, které se redukují na 2D objekty pohledem ze shora, na tiskovou plochu 3D tiskárny, pomocí Problému s omezeními(CSP). To znamená představit možné řešení zpracování STL ...