Browsing Diplomové práce - 18105 by Subject "SAT-based compilation"

Now showing items 1-1 of 1

    • DPLL(MAPF): Integrace řešiče SATu a multi-agetního hledání cest 

      Author: Martin Čapek; Supervisor: Surynek Pavel; Opponent: Starý Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)
      Multiagentní hledání cest (MAPF) se často kopiluje do výrokové splnitelnosti (SAT) a je dále vyřešeno existujícím SAT řešičem. V této práci jsme přišli s novým kompilačním schématem DPLL(MAPF), který používá těsnou inegraci ...