1 paper · 1 filter
Gabriel Istrate, Cosmin Bonchis, Adrian Craciun
We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity: Specifically, we show that the existence of data red…