A technique for creating algorithms for fixed-parameter tractable problems, involving a preprocessing stage in which inputs to the algorithm are replaced by a smaller input, called a kernel.