Search results for: Hervé Daudé
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 34-47
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Stochastic Approaches to SAT Solving > 363-376