Carlos Ansótegui Maria Luisa Bonet Jordi Levy On the Structure of Industrial SAT Instances. 127-141 2009 CP http://dx.doi.org/10.1007/978-3-642-04244-7_13 conf/cp/2009 db/conf/cp/cp2009.html#AnsoteguiBL09