University of Basel R&D
The University of Basel focuses on developing algorithms and tools for intelligent problem solving. They specialize in combinatorial search and optimization problems, particularly in the area of automated planning. Planning techniques can be applied to a variety of problems, such as solving puzzles, scheduling traffic, controlling manufacturing plants, and verifying software and hardware designs. However, finding solutions to these problems is challenging due to the large state spaces involved. The University of Basel aims to find intelligent ways to handle these large state spaces.
