M. Vinyals, “Hard Examples for Common Variable Decision Heuristics”, AAAI, vol. 34, no. 02, pp. 1652-1659, Apr. 2020.