Abstract
Kernelization is a theoretical formalization of efficient preprocessing for NP-hard problems. Empirically, preprocessing is highly successful in practice, for example in state-of-the-art ILP-solvers like CPLEX. Motivated by this, previous work studied the existence of kernelizations for ILP related problems, e.g., for testing feasibility of Ax
| Original language | English |
|---|---|
| Publisher | s.n. |
| Number of pages | 24 |
| Publication status | Published - 2015 |
Publication series
| Name | arXiv |
|---|---|
| Volume | 1506.07729 [cs.CC] |