Search results

  1. 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/0301620
    FileDownloadSizeCommentaryVersionAccess
    Pudlak1.pdf1431 KBPublisher’s postprintopen-access
     
     
  2. 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. 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/0297260
    FileDownloadSizeCommentaryVersionAccess
    Jalali.pdf0214.1 KBPublisher’s postprintrequire
     
     
  4. 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/0192907
    FileDownloadSizeCommentaryVersionAccess
    Krajicek2.pdf1134.5 KBPublisher’s postprintrequire
     
     
  5. 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/0072415
    FileDownloadSizeCommentaryVersionAccess
    Krajicek1.pdf1132.2 KBPublisher’s postprintrequire
     
     
  6. 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/0157662
    FileDownloadSizeCommentaryVersionAccess
    Krajicek.pdf1812.4 KBPublisher’s postprintrequire
     
     
  7. 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
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.