Thomas Heynen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Markus Bläser, Thomas Heynen, Bodo Manthey: Adding cardinality constraints to integer programs with applications to maximum satisfiability. Inf. Process. Lett. 105(5): 194-198 (2008)

	2008
1		Markus Bläser, Thomas Heynen, Bodo Manthey: Adding cardinality constraints to integer programs with applications to maximum satisfiability. Inf. Process. Lett. 105(5): 194-198 (2008)

Coauthor Index