Odpovídáte na názor ke článku Proč je Java za zenitem.
@Mirek SAT je testování splnitelnosti výrokových formulí. Používá se například v umělé inteligenci, návrhu integrovaných obvodů nebo testování korektnosti softwaru. Jde o NP-úplný problém, pro nějž ale existují superrychlé algoritmy. Typicky se nějaký komplexní problém převede na SAT, vyřeší a pak se z valuace dekóduje řešení. Hezký příklad praktického využití je třeba SATPLAN (viz wiki, google).
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 40 054×
Přečteno 27 727×
Přečteno 26 746×
Přečteno 22 941×
Přečteno 20 636×
ČLÁNKY DO MAILU