A Finite-Model-Theoretic View on Propositional Proof Complexity

(2018) [Preprint]

Authors

Selected Authors

Grädel, Erich
Grohe, Martin
Pago, Benedikt
Pakusa, Wied

Identifier

  • REPORT NUMBER: RWTH-2018-221672