Random formulas, monotone circuits, and interpolation

Počet záznamů: 1

1.

SYSNO	0483703
Název	Random formulas, monotone circuits, and interpolation
Tvůrce(i)	Hrubeš, Pavel (MU-W)_{RID, SAI, ORCID} Pudlák, Pavel (MU-W)_{RID, SAI}
Zdroj.dok.	2017 58th IEEE Annual Symposium on Foundations of Computer Science (FOCS). S. 121-131. - New York : IEEE, 2017
Konference	58th IEEE Annual Symposium on Foundations of Computer Science (FOCS), 15.10.2017 - 17.10.2017, Berkeley
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	339691, XE - země EU
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	Cutting Planes * random formulas * interpolation
URL	http://ieeexplore.ieee.org/document/8104052/
Trvalý link	http://hdl.handle.net/11104/0278908

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Hrubes.pdf	11	296.4 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1