52 citations · 146 across the 26 of their papers we have counts for
1 paper · 2 filters
Oleksii Omelchenko, Andrei A. Bulatov
The Random Satisfiability problem has been intensively studied for decades. For a number of reasons the focus of this study has mostly been on the model, in which instances are sam…