13 citations · 27 across the 6 of their papers we have counts for
1 paper · 1 filter
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
We focus on the random generation of SAT instances that have properties similar to real-world instances. It is known that many industrial instances, even with a great number of var…