In this paper, we deal with the two-stage assembly flow shop scheduling problem with an availability constraint. The objective is to minimize the maximum completion time of the jobs (i.e. makespan). We are interested in the nonresumable model. We provide two heuristics with tight worst-case ratio bound of 2 when the availability constraint is imposed on one of the first stage’s machines. For th...

The availability of commodity multi-core and multi-processor machines and the inherent parallelism in constraint programming search offer significant opportunities for constraint programming. They also present a fundamental challenge: how to exploit parallelism transparently to speed up constraint programs. This paper shows how to parallelize constraint programs transparently without changes to...

A multi-objective chance-constrained programming integrated with Genetic Algorithm and robustness evaluation methods was proposed to weigh the conflict between system investment against risk for watershed load reduction, which was firstly applied to nutrient load reduction in the Lake Qilu watershed of the Yunnan Plateau, China. Eight sets of Pareto solutions were acceptable for both system inv...

We present a formal methodology and tool for uncovering errors in the interaction of software modules. Our methodology consists of a suite of languages for defining software interfaces, and algorithms for checking interface compatibility. We focus on interfaces that explain the method-call dependencies between software modules. Such an interface makes assumptions about the environment in the fo...

comparative advantage of corn in comparison with other competing crops was investigated applying linear programming, to 2004-2005 data related to classic index (drc) in khuzestan. results showed that corn benefits from a comparative advantage in all cities of khuzestan province with acreage having been increased in the cultivation pattern of 37.5 % of the cities. in addition, comparing optimal ...

Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology need significant expertise in order to model their problem appropriately. The lack of availability of such expertise can be a significant bottleneck to the broader uptake of constraint technology in the real world. In th...