关注
Thomas Hugel
Thomas Hugel
在 polytech.unice.fr 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
42010
Estimating satisfiability
Y Boufkhad, T Hugel
Discrete applied mathematics 160 (1-2), 61-80, 2012
22012
Estimations de satisfaisabilité
T Hugel
Université Paris-Diderot-Paris VII, 2010
12010
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
系统目前无法执行此操作,请稍后再试。
文章 1–7