Checklist for Polynomial-Time Many-One Reductions