• Papers

      Year: Type Investigators

      Recent 5

       Paper in proceedings    
      Galesi Nicola, Talebanfard Navid, Torán Jacobo
      Cops-Robber games and the resolution of Tseitin formulas
      in Proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, Oxford, United Kingdom, 9.7.2018 - 12.7.2018, editor(s): Olaf Beyersdorff, Christoph M. Wintersteiger, Theory and Applications of Satisfiability Testing – SAT 2018, Springer, Cham, 2018, 311-326.

      Smal Alexander V., Talebanfard Navid
      Prediction from partial information and hindsight, an alternative proof
      Information Processing Letters 136, 2018, 102-104.

      Jeřábek Emil
      Galois connection for multiple-output operations
      Algebra Universalis 79, 2018.

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

      Pudlák Pavel
      Incompleteness in the finite domain
      Bulletin of Symbolic Logic 23 (4), 2017, 405-441.