Ham, 2017. Gap theorems for robust satisfiability: Boolean CSPs and beyond.