3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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:…