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 - https://cesnet.zoom.us/j/472648284 - contact thapen@math.cas.cz 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.
"Is there an optimal way to search for propositional proofs?"
I present a few proof complexity results, a new notion and some problems.