Heynen Thomas

Thomas Heynen

Information about the author Thomas Heynen will soon be added to the site.
Found 1 papers in total
Adding cardinality constraints to integer programs with applications to maximum satisfiability
Adding cardinality constraints to integer programs with applications to maximum satisfiability
2008
Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k...
Papers per page: