Random resolution refutations

Number of the records: 1

1.

SYSNO	0504571
Title	Random resolution refutations
Author(s)	Pudlák, Pavel (MU-W)_{RID, SAI} Thapen, Neil (MU-W)_{RID, SAI}
Source Title	Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. - : Springer
Document Type	Článek v odborném periodiku
Grant	339691, XE - EU countries
Institutional support	MU-W - RVO:67985840
Language	eng
Country	CH
Keywords	probabilistic proof * proof complexity * resolutions * witching lemma
URL	http://dx.doi.org/10.1007/s00037-019-00182-7
Permanent Link	http://hdl.handle.net/11104/0296173

	File	Download	Size	Commentary	Version	Access
	Pudlak.pdf	1	567.4 KB		Publisher’s postprint	require

Number of the records: 1