203 citations · 391 across the 22 of their papers we have counts for
3 papers · 1 filter
Effective Auxiliary Variables via Structured Reencoding
Andrew Haberlandt, Harrison Green, Marijn J. H. Heule
Extended resolution shows that auxiliary variables are very powerful in theory. However, attempts to exploit this potential in practice have had limited success. One reasonably eff…
A Linear Weight Transfer Rule for Local Search
Md Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
The Divide and Distribute Fixed Weights algorithm (ddfw) is a dynamic local search SAT-solving algorithm that transfers weight from satisfied to falsified clauses in local minima.…
The Packing Chromatic Number of the Infinite Square Grid is 15
Bernardo Subercaseaux, Marijn J. H. Heule
A packing -coloring is a natural variation on the standard notion of graph -coloring, where vertices are assigned numbers from , and any two vertices assign…