8 citations · 14 across the 4 of their papers we have counts for
1 paper · 1 filter
Erich Grädel, Martin Grohe, Benedikt Pago +1
We establish new, and surprisingly tight, connections between propositional proof complexity and finite model theory. Specifically, we show that the power of several propositional…