Predicting Learnt Clauses Quality in Modern SAT Solvers.

Gilles Audemard, Laurent Simon

Browse the full IJCAI paper archive.