Vytisknout
0511322 - MÚ 2020 RIV US eng J - Článek v odborném periodiku
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. E-ISSN 1942-3462
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
Obor OECD: Pure mathematics
Způsob publikování: Open access
http://dx.doi.org/10.1145/3337787
Trvalý link: http://hdl.handle.net/11104/0301620
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. E-ISSN 1942-3462
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
Obor OECD: Pure mathematics
Způsob publikování: Open access
http://dx.doi.org/10.1145/3337787
Trvalý link: http://hdl.handle.net/11104/0301620