Did you know that 2-satisfiability can be used to schedule round-robin tournaments so that teams alternate between home and away games as much or as little as possible?