Výsledky vyhledávání
- 1.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
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/0301620Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 431 KB Vydavatelský postprint povolen - 2.0507204 - ÚI 2020 DE eng J - Článek v odborném periodiku
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
Klíčová slova: lower bounds * complexity * Nisan-Wigderson generator * proof complexity * feasible interpolation
Impakt faktor: 0.496, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0298248 - 3.0505928 - MÚ 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA19-05497S
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: focused calculi * propositional proof complexity * feasible interpolation * super-intuitionistic logics
Obor OECD: 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
Trvalý link: http://hdl.handle.net/11104/0297260Název souboru Staženo Velikost Komentář Verze Přístup Jalali.pdf 0 214.1 KB Vydavatelský postprint vyžádat - 4.0353751 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: feasible interpolation * Frege proof systems * lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.584, rok: 2010
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Trvalý link: http://hdl.handle.net/11104/0192907Název souboru Staženo Velikost Komentář Verze Přístup Krajicek2.pdf 1 134.5 KB Vydavatelský postprint vyžádat - 5.0175432 - MU-W 20030186 RIV DE eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR IAA1019901; GA MŠMT LN00A056
Výzkumný záměr: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Klíčová slova: feasible interpolation * proof complexity * approximation method
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.365, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0072415Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 132.2 KB Vydavatelský postprint vyžádat - 6.0098856 - MÚ 2008 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR IAA1019401; GA ČR GA201/05/0124
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: OBDD * feasible interpolation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.439, rok: 2008
Trvalý link: http://hdl.handle.net/11104/0157662Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 1 812.4 KB Vydavatelský postprint vyžádat - 7.0089500 - ÚI 2008 CZ eng V - Výzkumná zpráva
Bílková, Marta
Feasible Disjunction Property and Feasible Interpolation in Modal Logic.
Prague: ITI Charles University, 2007. 15 s. ITI Series, 2007-341.
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: interpolation * modal logic * disjunction property * feasible interpolation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0150695