docSAT řešič pomocí algoritmů inspirovaných přírodou
download 
Stížnost Podobné dokumenty
SAT - České vysoké učení technické v Praze
tento literál hodnotou true, pak má výsledná formule stejnou splnitelnost jako ta předchozí.
Davis a Putnam zavádějí další pravidlo pro eliminaci proměnné zvané pravidlo unipolárního literálu 5 . L...
Automatický generátor testovac´ıch vektor˚u (ATPG) zalozený na
S výrobou stále složitějšı́ch čı́slicových obvodů je stále obtı́žnějšı́ nalézt rychlý a efektivnı́ způsob
testovánı́ vyráběných součástek. Doba testu a jeho schopnost odhalit n...
Programování s omezujícími podmínkami - zadani zkousek
takže se při restartu nemusí procházet už prolezlé
o depth-bounded discrepancy search (DDS) – diskrepance povoleny jen do dané
hloubky (v níž je diskrepance povinná – tak se nebudou opakovat slepé ...
Název: Programování s omezujícími podmínkami Název v AJ
1. Úvod: Historické souvislosti, vazba na další obory, aplikační oblasti, definice
problému splňování omezujících podmínek, binarizace problémů.
2. Algoritmy lokálního prohledávání: metoda největší...
Nasycená zemina
Grid jako superpočítač
SGI Altix ICE 8200 Enhanced LX, Xeon X5560 quad core
2.8 GHz / 2009 SGI
2048 jader, Rmax = 21.16 TFlops, Rpeak = 22.94 TFlops, 84 kW