2109 search results - page 112 / 422 » Solving Necklace Constraint Problems |
137
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
140
click to vote
FLAIRS
2006
15 years 6 months ago
2006
Constraint-based techniques are frequently used in solving real-life scheduling problems thanks to natural modeling capabilities and strong constraint propagation techniques encod...
133
click to vote
COCOS
2003
Springer
15 years 10 months ago
2003
Springer
In previous work, we have presented a novel global feasibility solver for the large system of quadratic constraints that arise as subproblems in the solving of hard hybrid problems...
161
Voted
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
—We study two convex optimization problems in a multi-class M/G/1 queue with adjustable service rates: minimizing convex functions of the average delay vector, and minimizing ave...
143
click to vote
COR
2010
15 years 5 months ago
2010
This paper presents different methods for solving parallel machine scheduling problems with precedence constraints and setup times between the jobs. Limited discrepancy search met...