An Efficient Algorithm for Integrated Task Sequencing and Path Planning for Robotic Remote Laser Welding

摘要

Different planning problems for robotic remote laser welding are of considerable interest. In this paper, we consider the problem of integrated task sequencing and path planning for robotic remote laser welding. We propose an efficient approach to solve the problem. In particular, we consider an explicit reduction from the decision version of the problem to the satisfiability problem. We present the results of computational experiments for different satisfiability algorithms.