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