Automating Elevator Design with Satisfiability Modulo Theories.

Stefano Demarchi, Marco Menapace, Armando Tacchella

Browse the full ICTAI paper archive.