Michael Henn

According to our database, Michael Henn authored at least 1 paper in 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem.

Adrian Balint, Michael Henn, Oliver Gableske

Proceedings of the Theory and Applications of Satisfiability Testing, 2009