J. Lee, C. Schulte, and Z. Zhu, “Increasing Nogoods in Restart-Based Search”, AAAI, vol. 30, no. 1, Mar. 2016.