Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches

System configuration and design is a well-established topic in AI. While many successful applications exists, there are still areas of manufacturing where AI techniques find little or no application. We focus on one such area, namely building and installation of elevator systems, for which we are developing an automated design and configuration tool. The questions that we address in this paper are: (i) What are the best ways to encode some subtasks of elevator design into constraint-based representations? (ii) What are the best tools available to solve the encodings? We contribute an empirical analysis to address these questions in our domain of interest, as well as the complete set of benchmarks to foster further research