|
|
|
|
|
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 time. T...
ver más
|
|
|
|
|