- Article
Scale-Free Random SAT Instances
- Carlos Ansótegui ,
- Maria Luisa Bonet and
- 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 variables, can be solved by a clever solver in a reasonable amount of tim...

