.:. 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]