SOreadytohelp

I am not a native English speaker and encourage everyone to fix any language mistakes I make.

My favorite answer:
Class Scheduling to Boolean satisfiability [Polynomial-time reduction]