Number of the records: 1

DNF Tautologies with a Limited Number of Occurrences of Every Variable

SYSNO	0403463
Title	DNF Tautologies with a Limited Number of Occurrences of Every Variable
Author(s)	Savický, Petr (UIVT-O)_{SAI, RID, ORCID} Sgall, Jiří (MU-W)_{RID, ORCID, SAI}
Source Title	Theoretical Computer Science. Roč. 238, 1-2 (2000), s. 495-498. - : Elsevier
Document Type	Článek v odborném periodiku
Grant	GA201/98/0717 GA ČR - Czech Science Foundation (CSF)
	IAA1019602 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	GA201/97/P038 GA ČR - Czech Science Foundation (CSF)
	ME 103 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
CEZ	1030915
Language	eng
Country	DE
Keywords	disjunctive normal form * tautology * occurences of variable
Permanent Link	http://hdl.handle.net/11104/0123768

Number of the records: 1