docSAT - České vysoké učení technické v Praze
download 
Stížnost Podobné dokumenty
Automatický generátor testovac´ıch vektor˚u (ATPG) zalozený na
Prohlašuji, že jsem svou diplomovou práci vypracoval samostatně a použil jsem pouze podklady
uvedené v přiloženém seznamu.
Nemám závažný důvod proti užitı́ tohoto školnı́ho dı́la ve...
L. Šedivá
výskyt síňových tachyarytmií –síňové tachykardie
hodnocení úspěšnosti až po 3 měsících
( 30-50% rekurence FS v tomto období)
Minimalizace ne´uplne urcen´ych logick´ych funkcı pomocı
Minimalizace logických funkcı́ je obor, který se rozvinul s prvnı́m praktickým uplatněnı́m
Booleovy algebry v praxi. Z algebraicky zadaných logických funkcı́ se přı́mo vycházı́ nejen při
n...
zde bude zadání práce (originál nebo kopie)
Vypracoval: Ondřej Kološ
Vedoucí práce: Ing. Petr Fišer
Detekce tautologie pomocí BDD Michal Navrkal
Když už víme jak reprezentovat logickou funkci pomocí grafu, můžeme operace nad
booleovskými funkcemi implementovat jako grafové algoritmy. Ačkoli BDD
SAT řešič pomocí algoritmů inspirovaných přírodou
edu/SAT/articles/FAIA185-0003.pdf
Conflict-Driven Clause Learning SAT Solvers, Joao Marques-Silva, Ines
Lynce and Sharad Malik. Handbook of Satisfiability, Chapter 4, IOS Press,
2009. http://gauss....
Experimentální analýza algoritmů je empirickým protějškem
Následující odkazy mohou být užitečné, ale není zaručeno, že v nich najdete všechno, co
budete pro svou práci potřebovat. Některé také během času už nemusí být aktuální, na
druhé straně se neustále...
Meta-learning applied to optimization
problems/experiments
Target: for given data recommend