33842 articles – 26701 Notices  [english version]
.:. Consultation > Par auteur > Audemard .:.
1 document

Predicting Learnt Clauses Quality in Modern SAT Solver
Simon L., Audemard G.
Dans Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09) (2009) [inria-00433805 - version 1]