We stand with Ukraine  

Thomas Hugel

According to our database1, Thomas Hugel authored at least 5 papers between 2010 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

2010
2011
2012
0
1
2
3
4
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Estimating satisfiability.
[BibTeX]
[DOI]
Yacine Boufkhad
,
Thomas Hugel
Discret. Appl. Math., 2012

SATLab: X-Raying Random k-SAT - (Tool Presentation).
[BibTeX]
[DOI]
Thomas Hugel
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2010
Kolmogorov-Loveland Sets and Advice Complexity Classes
[BibTeX]
[DOI]
Thomas Hugel
CoRR, 2010

Second Moment Method on k-SAT: a General Framework
[BibTeX]
[DOI]
Thomas Hugel
,
Yacine Boufkhad
CoRR, 2010

Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold.
[BibTeX]
[DOI]
Yacine Boufkhad
,
Thomas Hugel
Proceedings of the Theory and Applications of Satisfiability Testing, 2010


  Loading...