Exploring A Finite Model Theoretic View On Propositional Proof Complexity
Let's dive into the details surrounding A Finite Model Theoretic View On Propositional Proof Complexity.
- Sam Buss (UC San Diego) https://simons.berkeley.edu/talks/
- Robert Robere (McGill University) https://simons.berkeley.edu/talks/
- Short talks by postdoctoral members Topic:
- Monday Jun 7, 2021
- A short intro into the motivations and definitions of
In-Depth Information on A Finite Model Theoretic View On Propositional Proof Complexity
Benedikt Pago (Rwth Aachen University) https://simons.berkeley.edu/talks/ Joanna Ochremiak (CNRS) https://simons.berkeley.edu/talks/ Presented by Joanna Ochremiak at LMW 2021. https://www.csc.liv.ac.uk/~mfortin/lmw2021. Albert Atserias (UPC Barcelona), Benedikt Pago (Rwth Aachen University), and Antonina Kolokolova (Memorial University of ...
Sam Buss (UC San Diego) https://simons.berkeley.edu/talks/
That wraps up our extensive overview of A Finite Model Theoretic View On Propositional Proof Complexity.