Search results
- 1.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/0301620File Download Size Commentary Version Access Pudlak1.pdf 1 431 KB Publisher’s postprint open-access - 2.0507204 - ÚI 2020 DE eng J - Journal Article
Pich, Ján
Nisan-Wigderson generators in proof systems with forms of interpolation.
Mathematical Logic Quarterly. Roč. 57, č. 4 (2011), s. 379-383. ISSN 0942-5616. E-ISSN 1521-3870
Keywords : lower bounds * complexity * Nisan-Wigderson generator * proof complexity * feasible interpolation
Impact factor: 0.496, year: 2011
Permanent Link: http://hdl.handle.net/11104/0298248 - 3.0505928 - MÚ 2020 RIV DE eng C - Conference Paper (international conference)
Jalali Keshavarz, Raheleh
An exponential lower bound for proofs in focused calculi.
Logic, Language, Information, and Computation. Berlin: Springer, 2019 - (Iemhoff, R.; Moortgat, M.; de Queiroz, R.), s. 342-355. Lecture Notes in Computer Science, 11541. ISBN 978-3-662-59532-9. ISSN 0302-9743.
[26th International Workshop, WoLLIC 2019. Utrecht (NL), 02.07.2019-05.07.2019]
R&D Projects: GA ČR(CZ) GA19-05497S
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : focused calculi * propositional proof complexity * feasible interpolation * super-intuitionistic logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007/978-3-662-59533-6_21
Permanent Link: http://hdl.handle.net/11104/0297260File Download Size Commentary Version Access Jalali.pdf 0 214.1 KB Publisher’s postprint require - 4.0353751 - MÚ 2011 RIV US eng J - Journal Article
Krajíček, Jan
A form of feasible interpolation for constant depth Frege systems.
Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA AV ČR IAA100190902; GA MŠMT LC505
Institutional research plan: CEZ:AV0Z10190503
Keywords : feasible interpolation * Frege proof systems * lower bounds
Subject RIV: BA - General Mathematics
Impact factor: 0.584, year: 2010
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Permanent Link: http://hdl.handle.net/11104/0192907File Download Size Commentary Version Access Krajicek2.pdf 1 134.5 KB Publisher’s postprint require - 5.0175432 - MU-W 20030186 RIV DE eng J - Journal Article
Krajíček, Jan
Interpolation and approximate semantic derivations.
Mathematical Logic Quarterly. Roč. 48, č. 4 (2002), s. 602-606. ISSN 0942-5616. E-ISSN 1521-3870
R&D Projects: GA AV ČR IAA1019901; GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : feasible interpolation * proof complexity * approximation method
Subject RIV: BA - General Mathematics
Impact factor: 0.365, year: 2002
Permanent Link: http://hdl.handle.net/11104/0072415File Download Size Commentary Version Access Krajicek1.pdf 1 132.2 KB Publisher’s postprint require - 6.0098856 - MÚ 2008 RIV US eng J - Journal Article
Krajíček, Jan
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams.
[Exponenciální spodní odhad pro důkazový systém založený na uspořádaných binárních rozhodovacích stromech.]
Journal of Symbolic Logic. Roč. 73, č. 1 (2008), s. 227-237. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA AV ČR IAA1019401; GA ČR GA201/05/0124
Institutional research plan: CEZ:AV0Z10190503
Keywords : OBDD * feasible interpolation
Subject RIV: BA - General Mathematics
Impact factor: 0.439, year: 2008
Permanent Link: http://hdl.handle.net/11104/0157662File Download Size Commentary Version Access Krajicek.pdf 1 812.4 KB Publisher’s postprint require - 7.0089500 - ÚI 2008 CZ eng V - Research Report
Bílková, Marta
Feasible Disjunction Property and Feasible Interpolation in Modal Logic.
Prague: ITI Charles University, 2007. 15 s. ITI Series, 2007-341.
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : interpolation * modal logic * disjunction property * feasible interpolation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0150695