974 citations · 1.2k across the 9 of their papers we have counts for
1 paper · 1 filter
Marko Znidaric
We study a class of random 3-SAT instances having exactly one solution. The properties of this ensemble considerably differ from those of a random 3-SAT ensemble. It is numerically…