Predicting Learnt Clauses Quality in Modern SAT Solver

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:04
TitlePredicting Learnt Clauses Quality in Modern SAT Solver
Publication TypeConference Paper
Year of Publication2009
AuthorsAudemard, G, Simon, L
Conference NameProc. of International Joint Conference on Artificial Intelligence (IJCAI)
Date Publishedjuly
Conference LocationPasadena, États-Unis d'Amérique