639 search results - page 26 / 128 » Integer Programming Models for Optimization Problems in Test... |
131
Voted
SAT
2007
Springer
15 years 8 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
135
click to vote
DISOPT
2011
14 years 6 months ago
2011
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
129
click to vote
HAIS
2009
Springer
15 years 7 months ago
2009
Springer
Differential Evolution (DE) is a novel evolutionary approach capable of handling non-differentiable, non-linear and multi-modal objective functions. DE has been consistently ranked...
117
Voted
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
—This paper concerns the problem of finding the minimum-length TDMA frame of a power-controlled wireless network subject to traffic demands and SINR (signalto-interference-plus...
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...