slideshow 3

Logic seminar

Information in propositional proofs and algorithmic proof search

Jan Krajíček
Charles University


Monday, 1. March 2021 - 15:45 to 17:15
Zoom meeting 472 648 284 - - contact to join
Motivated by the *informal* proof search problem:
 "Is there an optimal way to search for propositional proofs?"
I present a few proof complexity results, a new notion and some problems.