A tradeoff between length and width in resolution

Number of the records: 1

1.

SYSNO	0462811
Title	A tradeoff between length and width in resolution
Author(s)	Thapen, Neil (MU-W)_{RID, SAI}
Source Title	Theory of Computing. Roč. 12, č. 5 (2016), s. 1-14. - : University of Chicago
Document Type	Článek v odborném periodiku
Grant	GBP202/12/G061 GA ČR - Czech Science Foundation (CSF)
Institutional support	MU-W - RVO:67985840
Language	eng
Country	US
Keywords	proof complexity * resolution * trade-off
URL	http://toc.nada.kth.se/articles/v012a005/index.html
Permanent Link	http://hdl.handle.net/11104/0262196

	File	Download	Size	Commentary	Version	Access
	Thapen1.pdf	2	238.6 KB		Publisher’s postprint	open-access

Number of the records: 1