Carlos Ansótegui Maria Luisa Bonet Jordi Levy Felip Manyà Measuring the Hardness of SAT Instances. 222-228 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#AnsoteguiBLM08