A Finite-Model-Theoretic View on Propositional Proof Complexity
(2018) [Preprint]
Seite(n): 53 Seiten
Autorinnen und Autoren
Autorinnen und Autoren
Grädel, Erich
Grohe, Martin
Pago, Benedikt
Pakusa, Wied
Identifikationsnummern
- REPORT NUMBER: RWTH-2018-221672