Designing Compact ILPs via Fast Witness Verification

Michał Włodarczyk

The standard formalization of preprocessing in parameterized complexity is given by kernelization. In this work, we depart from this paradigm and study a different type of preproce…