We present a new approach to automating the veriication of hardware designs based on planning techniques. A database of methods is developed that combines tactics, which construct proofs, using speciic-ations of their behaviour. Given a veriication problem, a planner uses the method database to build automatically a specialised tactic to solve the given problem. User interaction is limited to s...

Disassembly is one of the most time-consuming and labor-intensive activities during value recovery end-of-life (EOL) products. The completion time (makespan) disassembling EOL products highly associated with allocation operators, especially in parallel disassembly. In this paper, asynchronous disassembly planning (APDP), which avoids necessity to synchronize tasks manipulators process, studied ...

This paper presents a design methodology for synthesizing organizations to execute complex missions efficiently. It focuses on devising mission planning strategies to optimally achieve mission goals while optimally utilizing organization’s resources. Effective planning is often the key to successful completion of the mission, and conversely, mission failure can often be traced back to poor plan...

this article addresses the problem of balancing the time-cost-income aspects of talent management and succession in knowledge-based organizations. reviewing the literature figures out that many researches emphasize the importance of talent management and planning for succession. while the wide range of attracting talents from outside to fill this gap to train the inside talents to have a succes...

This paper rearranges a key property of anytime algorithms to derive a technique that determines an admissible lower bound on the minimum solution cost. In conjunction with a class of performance metric known as ‘time-focussed metrics’, the technique can be used to determine when to abort the deflation process within an anytime planning algorithm. The aim of this paper is to exploit this techni...