Thomas Hugel

	2012
6		Yacine Boufkhad, Thomas Hugel: Estimating satisfiability. Discrete Applied Mathematics 160(1-2): 61-80 (2012)
	2010
5		Yacine Boufkhad, Thomas Hugel: Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold. SAT 2010: 99-112
4		Thomas Hugel, Yacine Boufkhad: Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold CoRR abs/1002.1636: (2010)
3		Yacine Boufkhad, Thomas Hugel: Estimating Satisfiability CoRR abs/1005.4518: (2010)
2		Thomas Hugel, Yacine Boufkhad: Second Moment Method on k-SAT: a General Framework CoRR abs/1009.5588: (2010)
1		Thomas Hugel: Kolmogorov-Loveland Sets and Advice Complexity Classes CoRR abs/1012.0232: (2010)

Coauthor Index

1

Yacine Boufkhad

[2] [3] [4] [5] [6]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page