Thomas Hugel
According to our database1,
Thomas Hugel
authored at least 5 papers
between 2010 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010