Tighter Hard Instances for PPSZ

Počet záznamů: 1

1.

SYSNO	0476174
Název	Tighter Hard Instances for PPSZ
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI} Scheder, D. (CN) Talebanfard, Navid (MU-W)_{SAI, ORCID, RID}
Zdroj.dok.	44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). S. 1-13. - Dagstuhl : Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 / Chatzigiannakis I. ; Indyk P. ; Kuhn F. ; Muscholl A.
Konference	44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), 10.07.2017 - 14.07.2017, Warsaw
Číslo článku	85
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GBP202/12/G061 GA ČR - Grantová agentura ČR
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	k-SAT * strong exponential time hypothesis * PPSZ * resolution
Spolupracující instituce	Shanghai Jiaotong University (Čína)
URL	http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7414
Trvalý link	http://hdl.handle.net/11104/0272702

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak2.pdf	2	587.8 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1