Representations of monotone Boolean functions by linear programs

0511322 - MÚ 2020 RIV US eng J - Journal Article
de Oliveira Oliveira, M. - Pudlák, Pavel
Representations of monotone Boolean functions by linear programs.
ACM Transactions on Computation Theory. Roč. 11, č. 4 (2019), č. článku 22. ISSN 1942-3454
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
OECD category: Pure mathematics
Method of publishing: Open access
http://dx.doi.org/10.1145/3337787

Permanent Link: http://hdl.handle.net/11104/0301620