Automating elevator design with Satisfiability Modulo Theories
Published in IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, Oregon, 2019
Recommended citation: S. Demarchi, M. Menapace and Armando Tacchella (2019), "Automating elevator design with Satisfiability Modulo Theories." in IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, Oregon, November 4-6, 2019, Proceedings, 2019.
In the context of elevator systems design, we use SMT as a mean to enable domain-agnostic configuration.