TY  - RPRT
TI  - Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems
AU  - David E. Narváez
PY  - 2017
UR  - https://arxiv.org/abs/1711.06362
ID  - 1711.06362
ER  -