Extremal Colorings and Extremal Satisfiability by Philipp Zumstein