|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
Mercedes Guilabert, Paloma Amil, Asunción González-Mestre, Esther Gil-Sánchez, Anna Vila, Joan Carles Contel, Juan Carlos Ansotegui, Olga Solas, Ma Teresa Bacigalupe, Paloma Fernández-Cano, Marisa Arteagoitia and José Joaquín Mira
-
|
|
|
|
|
|
|
|
|
|
|
Funston, R.N.; Ansotegui, R.P.; Lipsey, R.J.; Geary, T.W.
Pág. 1485 - 1491
|
|
|
|
|
|