Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems

David E. Narváez

In the context of SAT solvers, Shatter is a popular tool for symmetry breaking on CNF formulas. Nevertheless, little has been said about its use in the context of AllSAT problems:…