A Finite-Model-Theoretic View on Propositional Proof Complexity

(2018) [Preprint]

Seite(n): 53 Seiten

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-2018-221672