Počet záznamů: 1

Representations of monotone Boolean functions by linear programs

SYSNO	0511322
Název	Representations of monotone Boolean functions by linear programs
Tvůrce(i)	de Oliveira Oliveira, M. (NO) Pudlák, Pavel (MU-W)_{RID, SAI}
Zdroj.dok.	ACM Transactions on Computation Theory. Roč. 11, č. 4 (2019). - : Association for Computing Machinery
Číslo článku	22
Druh dok.	Článek v odborném periodiku
Grant	339691, XE - země EU
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
Spolupracující instituce	University of Bergen (Norsko)
URL	http://dx.doi.org/10.1145/3337787
Trvalý link	http://hdl.handle.net/11104/0301620

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak1.pdf	1	431 KB		Vydavatelský postprint	povolen

Počet záznamů: 1