D. Narváez, “Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems”, AAAI, vol. 32, no. 1, Apr. 2018.