4 citations · 9 across the 13 of their papers we have counts for
1 paper · 2 filters
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…