scholar.google.com › citations
Apr 28, 2021 · We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity.
Jul 2, 2021 · We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity: Specifically, we ...
Apr 28, 2021 · Abstract. We display an application of the notions of kernelization and data re- duction from parameterized complexity to proof complexity: ...
Apr 28, 2021 · A method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ...
[PDF] Kernelization, Proof Complexity and Social Choice - DROPS
dagstuhl.sunsite.rwth-aachen.de › pdf
Abstract. We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity: Specifically, ...
Apr 22, 2021 · We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity: Specifically ...
We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity: Specifically, ...
We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity: Specifically, ...