research
∙
04/28/2021
Kernelization, Proof Complexity and Social Choice
We display an application of the notions of kernelization and data reduc...
research
∙
09/04/2019
Gröbner Bases with Reduction Machines
In this paper, we make a contribution to the computation of Gröbner base...
research
∙
09/02/2019