203 citations · 391 across the 22 of their papers we have counts for
1 paper · 1 filter
Marijn J. H. Heule
We present a new method for reducing the size of graphs with a given property. Our method, which is based on clausal proof minimization, allowed us to compute several 553-vertex un…