Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold. - Yacine Boufkhad; Thomas Hugel (SAT, 2010)

Second Moment Method on k-SAT: a General Framework - Thomas Hugel; Yacine Boufkhad (CoRR, 2010)

Kolmogorov-Loveland Sets and Advice Complexity Classes - Thomas Hugel (CoRR, 2010)

SATLab: X-Raying Random k-SAT - (Tool Presentation). - Thomas Hugel (SAT, 2012)

Estimating satisfiability. - Yacine Boufkhad; Thomas Hugel (Discret. Appl. Math., 2012)