Representations of monotone Boolean functions by linear programs

Number of the records: 1

1.

SYSNO	0511322
Title	Representations of monotone Boolean functions by linear programs
Author(s)	de Oliveira Oliveira, M. (NO) Pudlák, Pavel (MU-W)_{RID, SAI}
Source Title	ACM Transactions on Computation Theory. Roč. 11, č. 4 (2019). - : Association for Computing Machinery
Article number	22
Document Type	Článek v odborném periodiku
Grant	339691, XE - EU countries
Institutional support	MU-W - RVO:67985840
Language	eng
Country	US
Keywords	monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
Cooperating institutions	University of Bergen (Norway)
URL	http://dx.doi.org/10.1145/3337787
Permanent Link	http://hdl.handle.net/11104/0301620

	File	Download	Size	Commentary	Version	Access
	Pudlak1.pdf	1	431 KB		Publisher’s postprint	open-access

Number of the records: 1