Abstract: The collaborative search of unmanned surface vessel (USV) and autonomous aerial vehicle (AAV) for tasks with high timeliness or a large number of target points is a current research focus in ...

Abstract: This paper treats the use of constraint satisfaction techniques to solve Sudoku puzzles, a classic problem in computer research. Complex Sudoku combinations pose a challenge for efficient ...