In this paper, we focus on outsourcing activities optimization problem in single period setting. In some situations, capacity planning or outsourcing is a one-time event and can be modeled as a single period problem. The aim of this research is to balance the trade-off between two echelons of a supply chain consisting of a single outsourcer and a single subcontractor. Each part is composed of a...

A theorem proving system embodying a systematic search procedure is de sen bed. Al though the search spaces are usually infinite, and not even locally finite, the asymmetric way in which thev are generated results in a speed that is es 11ma-ted to be one to two orders of magnitude faster than the theorem provers of Quinlan and Hunt, and Chang and the problem-solver of Kikes, to whi c h this sys...