Prohlížení dle předmětu "satisfiability"
Zobrazují se záznamy 1-3 z 3
-
On don't cares in test compression
(Elsevier Science, 2014)Both test compression tools and ATPGs directly producing compressed test greatly benefit from don’t care values present in the test. Actually, presence of these don’t cares is essential for success of the compression. ... -
Resoluce pro predikátovou logiku
; Vedoucí práce: Starý Jan; Oponent práce: Knop Dušan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-17)Výroková logika je rozhodnutelná – existuje algoritmus, který pro zadanou výrokovou formuli rozhodne, zda je splnitelná. Predikátová logika rozhodnutelná není – žádný algoritmus, který by v plné obecnosti rozhodoval o ... -
Volba parametrů řešiče SATu pomocí technik strojového učení
; Vedoucí práce: Surynek Pavel; Oponent práce: Kalvoda Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)SAT řešiče jsou nezbytné nástroje pro mnohé oblasti počítačové vědy a průmyslu. Obsadily funkci univerzálního nástroje, který uživatelé používají k řešení problémů, jež by v opačném případě museli řešit ad-hoc, což by ...