Number of the records: 1
DNF Tautologies with a Limited Number of Occurrences of Every Variable
- 1.Savický, Petr - Sgall, Jiří
DNF Tautologies with a Limited Number of Occurrences of Every Variable.
Theoretical Computer Science. Roč. 238, 1-2 (2000), s. 495-498. ISSN 0304-3975. E-ISSN 1879-2294
Impact factor: 0.417, year: 2000
http://hdl.handle.net/11104/0123768
Number of the records: 1