Thomas Hugel

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

Estimating satisfiability.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2012

SATLab: X-Raying Random k-SAT - (Tool Presentation).

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2010

Kolmogorov-Loveland Sets and Advice Complexity Classes

[BibT_eX]

[DOI]

CoRR, 2010

Second Moment Method on k-SAT: a General Framework

[BibT_eX]

[DOI]

CoRR, 2010

Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2010