Carlos Ansótegui Maria Luisa Bonet Jordi Levy Towards Industrial-Like Random SAT Instances. 387-392 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-072.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#AnsoteguiBL09