1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
Robert Cowen
We generalize a method of Ivor Spence (J. of Experimental Algorithms 15(March 2010)) that produces unsatisfiable cnfs and show experimentally that, for the most part, the resulting…