M.Schlesinger presents Polynomialni reseni specialniho pripadu ulohy splnitelnosti logicke formule

Polynomialni reseni specialniho pripadu ulohy splnitelnosti logicke formule

Prof. Ing. Michail I. Schlesinger, DrSc.

Ustav kybernetiky Akademie ved Ukrajiny v Kyjeve

Uloha splnitelnosti logickych formuli patri mezi tridu NP tezkych
problemu. Autorovi se podarilo najit jeden specialni pripad, ktery je
splnitelny v polynomialnim case a je zajimavy pro rozpoznavani.

Poznamka:

Prof. Schlesinger je dloholetym spolupracovnikem CMP a jeho
prednaska bude prednesena cesky.