Vinyals, M. Hard Examples for Common Variable Decision Heuristics. AAAI 2020, 34, 1652-1659.