•  
    • Papers

      Select        
       
      Year: Type Investigators
       

      Recent 5


       Article    
      Hrubeš Pavel, Pudlák Pavel
      A note on monotone real circuits
      Information Processing Letters 131, 2018, 15-19.


       Article    
      Glivický Petr, Pudlák Pavel
      A wild model of linear arithmetic and discretely ordered modules
      Mathematical Logic Quarterly 63 (6), 2017, 501-508.


       Paper in proceedings    
      Hrubeš Pavel, Pudlák Pavel
      Random formulas, monotone circuits, and interpolation
      in Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science (FOCS), Berkeley, USA, 15.10.2017 - 17.10.2017, 2017 IEEE 58TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), IEEE, New York, 2017, 121-131.


       Article    
      Glivický Petr, Kala Vítězslav
      Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics
      Mathematical Logic Quarterly 63 (3-4), 2017, 162-174.


       Paper in proceedings    
      de Oliveira Oliveira Mateus, Pudlák Pavel
      Representations of monotone Boolean functions by linear programs
      in Proceedings of the 32nd Computational Complexity Conference (CCC 2017), Riga, Latvia, 6.7.2017 - 9.7.2017, editor(s): Ryan O’Donnell, 32nd Computational Complexity Conference (CCC 2017); Leibniz International Proceedings in Informatics (LIPIcs), Vol. 79, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, 2017, 1-14.

  •