Prohlížení Bakalářské práce - 18101 dle předmětu "interval propagation, HC3 algorithm, branch and prune, constraint satisfaction problem, constraints, heuristics, consistency, functional programming, FSharp"

Zobrazují se záznamy 1-1 z 1

    • Heuristiky pro propagaci intervalů 

      Autor: Kottnauer Jakub; Vedoucí práce: Ratschan Stefan; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-13)
      Omezující podmínka je relace mezi proměnnými omezující množiny hodnot, kterých mohou proměnné nabývat. Problém splnitelnosti omezujících podmínek (CSP) je problém, jehož řešení spočívá v nalezení hodnot proměnných tak, aby ...