DNF tautologies with a limited number of occurrences of every variable
P. Savický, Jiřı́ SgallVolume:
238
Year:
2000
Language:
english
Pages:
4
DOI:
10.1016/s0304-3975(00)00036-0
File:
PDF, 69 KB
english, 2000