2725 search results - page 391 / 545 » Constraint Solving for Interpolation |
140
click to vote
IJSEKE
2008
15 years 4 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
110
click to vote
IJSYSC
2008
15 years 4 months ago
2008
A novel state-space model of a multi-node supply chain is presented, controlled via local proportional inventory-replenishment policies. The model is driven by a stochastic sequen...
138
click to vote
JAIR
2008
15 years 4 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...
147
click to vote
IOR
2006
15 years 4 months ago
2006
The multilevel generalized assignment problem (MGAP) is a variation of the generalized assignment problem, in which agents can execute tasks at different efficiency levels with di...
140
click to vote
IOR
2006
15 years 4 months ago
2006
In the dial-a-ride problem, users formulate requests for transportation from a specific origin to a specific destination. Transportation is carried out by vehicles providing a sha...