Carlos Ansótegui Maria Luisa Bonet Jordi Levy Random SAT Instances à la Carte. 109-117 2008 CCIA http://dx.doi.org/10.3233/978-1-58603-925-7-109 conf/ccia/2008 db/conf/ccia/ccia2008.html#AnsoteguiBL08