1968 search results - page 36 / 394 » The Complexity of Valued Constraint Models |
113
click to vote
WINE
2009
Springer
15 years 8 months ago
2009
Springer
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...
104
click to vote
CSCLP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
114
click to vote
CSCLP
2004
Springer
15 years 5 months ago
2004
Springer
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...
131
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
103
click to vote
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...