Production planning is a key area of operations management. An important methodology for production planning is mathematical programming. Traditional mathematical programming models for production planning are deterministic, and cannot provide robust production plans in the presence of uncertainty. As such, deterministic planning models may yield unsatisfactory decisions. Stochastic programming...

Calculating total cast of bank resources procurement methods which include current -free loan deposit, saving interest-free loan deposit, regular and net short-term investment deposit, long-term investment deposit and surety bond cash deposit and presenting their optimal integration require precise scientific studies. Hence, this study is an attempt to know which methods are the best optimal in...

Proof planning is an application of AI-planning in mathematical domains. The planning operators, called methods, encode proving steps. One of the strength of proof planning comes from the usage of mathematical knowledge that heuristically restricts the search space. Semantically guided proof planning uses semantic information as search control heuristics. In this report we describe the realisat...

During the last decade the tremendous success of mobile phone systems has triggered considerable technological advances as well as the investigation of mathematical models and optimization algorithms to support planning and management decisions. In this chapter, we give an overview of some of the most significant optimization problems arising in planning second and third generation cellular net...

Proof planning is an application of AI-planning in mathematical domains. The planning operators, called methods, encode proving steps. One of the strength of proof planning comes from the usage of mathematical knowledge that heuristically restricts the search space. Semantically guided proof planning takes a diierent perspective and uses semantic information as search control heuristics. In thi...