Number of the records: 1
DNF Tautologies with a Limited Number of Occurrences of Every Variable
- 1.Savický, P., Sgall, J. DNF Tautologies with a Limited Number of Occurrences of Every Variable. Theoretical Computer Science. 2000, 238(1-2), 495-498. ISSN 0304-3975. E-ISSN 1879-2294. Available: doi: 10.1016/S0304-3975(00)00036-0
Number of the records: 1