Search results for: Hervé Daude
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
European Journal of Combinatorics > 2013 > 34 > 5 > 793-805
Discrete Mathematics > 2009 > 309 > 8 > 2085-2099
Theoretical Computer Science > 2008 > 393 > 1-3 > 260-279
Discrete Applied Mathematics > 2005 > 153 > 1-3 > 48-57
Information and Computation > 2004 > 190 > 2 > 220-238
Theoretical Computer Science > 2003 > 302 > 1-3 > 417-430
Discrete Applied Mathematics > 1999 > 96-97 > 41-53