Number of the records: 1

Random resolution refutations

SYSNO	0477098
Title	Random resolution refutations
Author(s)	Pudlák, Pavel (MU-W)_{RID, SAI} Thapen, Neil (MU-W)_{RID, SAI}
Source Title	32nd Computational Complexity Conference (CCC 2017). S. 1-10. - Dagstuhl : Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 / O’Donnell R.
Conference	32nd Computational Complexity Conference (CCC 2017), 06.07.2017 - 09.07.2017, Riga
Article number	1
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	339691, XE - EU countries
Institutional support	MU-W - RVO:67985840
Language	eng
Country	DE
Keywords	proof complexity * random * resolution * resolution
URL	http://drops.dagstuhl.de/opus/volltexte/2017/7523
Permanent Link	http://hdl.handle.net/11104/0273490

	File	Download	Size	Commentary	Version	Access
	Pudlak3.pdf	3	538.1 KB		Publisher’s postprint	require

Number of the records: 1