Carlos Ansótegui Maria Luisa Bonet Jordi Levy Felip Manyà What Is a Real-World SAT Instance? 19-28 2007 CCIA conf/ccia/2007 db/conf/ccia/ccia2007.html#AnsoteguiBLM07