Thomas Heynen

According to our database, Thomas Heynen authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Adding cardinality constraints to integer programs with applications to maximum satisfiability.

Markus Bläser, Thomas Heynen, Bodo Manthey

Inf. Process. Lett., 2008