Sciweavers

1707 search results - page 36 / 342
» Early Integer Programming
Sort
View
119
Voted
IPL
2008
111views more  IPL 2008»
15 years 2 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
89
Voted
INFORMS
2006
89views more  INFORMS 2006»
15 years 2 months ago
Integer Linear Programming Models for Global Routing
Laleh Behjat, Anthony Vannelli, William Rosehart
51
Voted
CORR
2007
Springer
49views Education» more  CORR 2007»
15 years 2 months ago
On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course Timetabling
Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, ...
88
Voted
DISOPT
2007
84views more  DISOPT 2007»
15 years 2 months ago
Conflict analysis in mixed integer programming
Tobias Achterberg