Narváez, D. Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems. AAAI 2018, 32.