Shared-Memory Implementation of the Karp- Sipser Kernelization Process