6456 search results - page 363 / 1292 » Constraint Solving on Terms |
212
click to vote
WEA
2010
Springer
16 years 1 months ago
2010
Springer
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
181
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider the problem of broadcasting a live stream of data in an unstructured network. Broadcasting has been studied extensively for networks with capacity constraints at th...
204
click to vote
CP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
160
click to vote
PADL
2007
Springer
16 years 27 days ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
181
click to vote
IJCNN
2006
IEEE
16 years 24 days ago
2006
IEEE
— Job-shop scheduling is one of the most difficult production scheduling problems in industry. This paper proposes an adaptive neural network and local search hybrid approach fo...