Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches
Published in International Conference of the Italian Association for Artificial Intelligence, AIxIA 2021, Milano, Italy December 1st-3rd, 2021, 2019
Recommended citation: S. Demarchi, M. Menapace and A. Tacchella (2021), "Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches." in International Conference of the Italian Association for Artificial Intelligence, AIxIA 2021, Milano, Italy December 1st-3rd, 2021, Proceedings, 2021.
In the context of elevator systems design, we challenge SMT and CP solvers to enable domain-agnostic design.