Michal Kutil

Publikace > Splnitelnost Booleovských formulí

Splnitelnost Booleovských formulí

Autor: Kutil, M.

stáhnout pdf ( 282 kB)

Kutil, M. Splnitelnost Booleovských formulí. [Research Report]. Praha: ČVUT FEL, Katedra řídicí techniky, 2005. K13135/05/231.

@TECHREPORT{sat05,

author = {Kutil, Michal},

title = {Splnitelnost Booleovských formulí},

institution = {ČVUT FEL, Katedra řídicí techniky},

year = {2005},

type = {Research Report},

number = {K13135/05/231},

address = {Praha},

month = {April},

keywords = {SAT, splnitelnost},

pdf = {http://www.tim.cz/publications/2005/sat05/sat05.pdf},

}