Lee, J.; Schulte, C.; Zhu, Z. Increasing Nogoods in Restart-Based Search. AAAI 2016, 30.