2861 search results - page 287 / 573 » Constraint Programming |
155
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Process variation has become a critical problem in modern VLSI fabrication. In the presence of process variation, buffer insertion problem under performance constraints becomes mo...
164
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
Many real-world problems require the enumeration of all solutions of combinatorial search problems, even though this is often infeasible in practice. However, not always all parts ...
175
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
Conventional MPC uses quadratic programming (QP) to minimise, on-line, a cost over n linearly constrained control moves. However, stability constraints often require the use of la...
273
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
159
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We consider the problem of testing whether the maximum additive integrality gap of a family of integer programs in standard form is bounded by a given constant. This can be viewed...