Non uniform selection of solutions for upper bounding the 3-SAT threshold Y Boufkhad, T Hugel International Conference on Theory and Applications of Satisfiability …, 2010 | 4 | 2010 |
Estimating satisfiability Y Boufkhad, T Hugel Discrete applied mathematics 160 (1-2), 61-80, 2012 | 2 | 2012 |
Estimations de satisfaisabilité T Hugel Université Paris-Diderot-Paris VII, 2010 | 1 | 2010 |
SATLab: X-Raying Random k-SAT: (Tool Presentation) T Hugel International Conference on Theory and Applications of Satisfiability …, 2012 | | 2012 |
Kolmogorov-Loveland Sets and Advice Complexity Classes T Hugel arXiv preprint arXiv:1012.0232, 2010 | | 2010 |
Second Moment Method on k-SAT: a General Framework T Hugel, Y Boufkhad arXiv preprint arXiv:1009.5588, 2010 | | 2010 |
Détermination de politiques extrémales dans des processus de décision markoviens SMIMENS de Lyon, T Hugel | | 2004 |