4426 search results - page 268 / 886 » Concurrent Constraint Programming |
195
click to vote
HEURISTICS
2008
15 years 5 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
168
click to vote
JCP
2008
15 years 6 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...
158
click to vote
ICLP
2004
Springer
15 years 12 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...
158
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we study approximation algorithms for solving a general covering integer program. An
182
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...