[Proof Complexity] a preprint

[Jan Krajicek]

  Dear colleagues,

  a new preprint of mine:

  "Consistency of circuit evaluation, extended
   resolution and total NP search problems"

is available either via my web page:

  http://www.karlin.mff.cuni.cz/~krajicek/biblio.html

or via the ArXiv (which shows the abstract separately):

  http://arxiv.org/abs/1509.03048

Comments welcome!

                           Regards,

                                   Jan