Sciweavers

1707 search results - page 36 / 342
» Early Integer Programming
Sort
View
IPL
2008
111views more  IPL 2008»
13 years 11 months ago
Adding cardinality constraints to integer programs with applications to maximum satisfiability
Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...
Markus Bläser, Thomas Heynen, Bodo Manthey
INFORMS
2006
89views more  INFORMS 2006»
13 years 11 months ago
Integer Linear Programming Models for Global Routing
Laleh Behjat, Anthony Vannelli, William Rosehart
DISOPT
2007
84views more  DISOPT 2007»
13 years 11 months ago
Conflict analysis in mixed integer programming
Tobias Achterberg