Sciweavers

1707 search results - page 36 / 342
» Early Integer Programming
Sort
View
IPL
2008
111views more  IPL 2008»
14 years 9 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»
14 years 9 months ago
Integer Linear Programming Models for Global Routing
Laleh Behjat, Anthony Vannelli, William Rosehart
DISOPT
2007
84views more  DISOPT 2007»
14 years 9 months ago
Conflict analysis in mixed integer programming
Tobias Achterberg