]> mj.ucw.cz Git - ads2.git/commit
Drobna vylepseni prevodu nezavisle mnoziny na SAT.
authorMartin Mares <mj@ucw.cz>
Mon, 14 Jan 2008 13:55:52 +0000 (14:55 +0100)
committerMartin Mares <mj@ucw.cz>
Mon, 14 Jan 2008 13:55:52 +0000 (14:55 +0100)
commite2f7cc0614f5c80a64cff78ceee8165af57f7cc4
treeaf5db80523509c39f70edd6ceefb2a5e1bf8c2a4
parent290a7056336b7d02803c8d12c9104987e92bdfed
Drobna vylepseni prevodu nezavisle mnoziny na SAT.
10-prevody/10-prevody.tex
10-prevody/matice.eps [deleted file]
10-prevody/matice.svg [deleted file]