Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:∅ Y.Boufkhad
Talks about:sat (3) threshold (1) uniform (1) select (1) random (1) upper (1) solut (1) bound (1) ray (1) non (1)
Person: Thomas Hugel
DBLP: Hugel:Thomas
Contributed to:
20122010Wrote 2 papers:
- SAT-2012-Hugel #named #random #satisfiability
- SATLab: X-Raying Random k-SAT — (TH), pp. 424–429.
- SAT-2010-BoufkhadH #bound #satisfiability
- Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (YB, TH), pp. 99–112.