Gilles Audemard Laurent Simon Predicting Learnt Clauses Quality in Modern SAT Solvers. 399-404 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-074.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#AudemardS09