Thomas Hugel

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Phase Transition

Visual Representations

Top Venues

Discret. Appl. Math.

Publications

Thomas Hugel
SATLab: X-Raying Random k-SAT - (Tool Presentation). SAT (2012)
Yacine Boufkhad, Thomas Hugel
Estimating satisfiability. Discret. Appl. Math. 160 (1-2) (2012)
Thomas Hugel, Yacine Boufkhad
Second Moment Method on k-SAT: a General Framework CoRR (2010)
Yacine Boufkhad, Thomas Hugel
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold. SAT (2010)
Yacine Boufkhad, Thomas Hugel
Estimating Satisfiability CoRR (2010)
Thomas Hugel, Yacine Boufkhad
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold CoRR (2010)
Thomas Hugel
Kolmogorov-Loveland Sets and Advice Complexity Classes CoRR (2010)