7092 search results - page 269 / 1419 » Parallelizing constraint programs |
112
Voted
JCP
2008
15 years 2 months ago
2008
-In this paper a nonlinear programming approach is used for the minimization of total communication cost to determine the optimum room dimensions for each room. The nonlinear progr...
113
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
156
click to vote
FROCOS
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
106
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
In this paper we study approximation algorithms for solving a general covering integer program. An
117
click to vote
ENTCS
2002
15 years 2 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...