Automated Design of Complex Systems with Constraint Programming Techniques
Published in Cyber-Physical Systems Summer School Workshop, CPSWS 2019, Alghero, Italy, 2019
Recommended citation: S. Demarchi (2019), "Automated Design of Complex Systems with Constraint Programming Techniques." in Cyber-Physical Systems Summer School Workshop, CPSWS 2019, Alghero, Italy, September 23, 2019, Proceedings, 2019.
Starting from a success story in elevator systems design, we try and use SMT as a mean to enable domain-agnostic system configuration.